リーマン多様体
Let ("M", "g") be a Riemannian manifold.