Riemannian geometry
リーマン幾何学の基本定理の別の証明は、リーマン多様体上の捩れのない接続は必然的にKoszul公式(Koszul formula)により与えられることを示すことである。