Hopf-Rinow Theorem/Corollary 3

Theorem
Let $\struct {M, g}$ be a compact Riemannian Manifold.

Let $\gamma$ be a maximal geodesic in $M$.

Then:


 * $\Dom \gamma = \R$

where $\Dom \gamma$ denotes the domain of $\gamma$.