Redirecting to Hopf–Rinow theorem