Christoffel symbols
Proofs involving Christoffel symbols