theorem :: QUATERNI:70

|.<j>.| = 1 by Th24;