theorem Th66: :: QUATERNI:73

for z being Quaternion holds |.(z *').| = |.z.|