Hopf%E2%80%93Rinow theorem#Variations and generalizations