Existence of Closed Geodesics

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

Every nontrivial free homotopy class in $M$ is represented by a closed geodesic that has minimum length among all admissible loops in the given free homotopy class.