クリストッフェル記号
See Proofs involving Christoffel symbols for some proofs