黎曼流形
Let ("M", "g") be a connected Riemannian manifold. Then the following statements are equivalent: