Hopf–Rinow Theorem