Real Number Line is Lindelöf

Theorem
Real line topological space is Lindelöf.

Proof
By Real Number Space is Second-Countable:
 * Real line topological space is second-countable.

Thus by Second-Countable Space is Lindelöf
 * Real line topological space is Lindelöf.