theorem Th58: :: QUATERNI:65

|.0q.| = 0