Real Number Line is First-Countable

Theorem
Let $\struct {\R, \tau_d}$ be the real number line considered as a topological space under the usual (Euclidean) topology.

Then $\struct {\R, \tau_d}$ is first-countable.

Proof
From Real Number Space is Second-Countable we have that $\struct {\R, \tau_d}$ is a second-countable space.

The result follows from Second-Countable Space is First-Countable.