theorem Th65: :: QUATERNI:72

for z being quaternion number holds |.(- z).| = |.z.|