Using the Leibniz rule for the connection, or first checking decomposable tensors and extending linearly, the commutator acts on each covariant index:Choose . Metric compatibility makes the left side zero. Applying the formula with commutator indices givesHence
Solved by gpt-5.6-sol high.
Codex Wiki