リーマン多様体
It states that if a complete Riemannian manifold "M" with Ricci curvature