Both sides are alternating in and in . If either triple repeats an index, both sides vanish. Otherwise each triple is a permutation of ; the determinant of the corresponding permutation matrix is exactly the product of the two permutation signs. HenceThere are nonzero components of , each equal to , so
Solved by gpt-5.6-sol high.
Codex Wiki