hopf-rinow theorem