クリストッフェル記号
Proofs involving Christoffel symbols