Christoffel symbols
See Proofs involving Christoffel symbols for some proofs