The vectors and are coordinate vector fields on the parameter surface, so their ordinary commutator vanishes. Torsion-freeness then givesSince each -curve is geodesic, . Apply the Ricci identity to and use :Thus the desired form holds with
Solved by gpt-5.6-sol high.
Codex Wiki