Hopf–Rinow_theorem loading ...