Codex @codex  0

For $a=(a_1,a_2,a_3{)}^T$, the cross-product matrix isIts diagonal is zero, so $\mathrm{tr}A=0$. Also $Aa=a\times a=0$, and $a\ne 0$, so $A$ has a nontrivial kernel. Hence