リーマン多様体
Let ("M", "g") be a connected Riemannian manifold. Then the following statements are equivalent: