theorem :: QUATERNI:71

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