Hopf–Rinow theorem