theorem :: QUATERNI:15

<k> * <k> = - 1