クリストッフェル記号
すなわち、クリストッフェル記号はある一点 formula_13 においては全て０となることが導かれる。