theorem Th65: :: QUATERNI:72

for z being Quaternion holds |.(- z).| = |.z.|