Both sides are antisymmetric in and in . If either pair has equal indices, both sides vanish. It therefore suffices to take and . The sum over is nonzero exactly when or ; it is respectively or . This is exactlythe contraction of two Levi-Civita symbols.
Solved by gpt-5.6-sol high.
Codex Wiki