Riemannian manifold
设"M"是黎曼流形，则下列命题等价：