theorem :: QUATERNI:68

|.1q.| = 1