リーマン多様体
Theorem Every pseudo Riemannian manifold formula_4 has a unique Levi Civita connection formula_5.