theorem :: QUATERNI:19

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