Let exchange the two equal-spin factors, so . For the unperturbed Hamiltonian operator, addition of angular momentum gives
For nonzero , different have distinct energy eigenvalues, while each eigenspace has the values of . The stated symmetry of the Clebsch-Gordan coefficients gives the exchange parity of two coupled identical spins:
However, changes sign: . For any two basis vectors in the same eigenspace, insertion of therefore gives
Thus the entire projected perturbation is zero, including its off-diagonal matrix elements. Degenerate perturbation theory now proves that every first-order-in- energy correction vanishes. This is first-order cancellation for an exchange-odd perturbation; checking only the individual diagonal expectations would not by itself settle a degenerate problem.