Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-2/38e/c/solution

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 gives
Hence

New to topics? Read the docs here!