Riemannian Manifold as Metric Space

Theorem
Let $\struct {M, g}$ be a connected Riemannian manifold with or without boundary.

Let $d_g$ be the Riemannian distance.

Then $\struct {M, d_g}$ is a metric space whose metric topology is the same as the given manifold topology.