Hopf-Rinow Theorem

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

Then $M$ is metrically complete it is geodesically complete.