theorem :: QUATERNI:20

<j> * <k> = - (<k> * <j>)