Locally Euclidean Space is First-Countable

Theorem
Let $M$ be a locally Euclidean space of some dimension $d$.

Then $M$ is first-countable.

Proof
Follows immediately from Element of Locally Euclidean Space has Countable Local Basis Homeomorphic to Open Balls.