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