theorem :: QUATERNI:16

<i> * <j> = <k>