リッチテンソル
The second part is a comparison theorem for the Ricci curvature of "M":