黎曼流形
Let ("M", "g") be a Riemannian manifold.