theorem :: QUATERNI:14

<j> * <j> = - 1