theorem Th58: :: QUATERNI:65
|.0q.| = 0