theorem Th81: :: QUATERN3:81

for z being Quaternion holds z ^2 = (- z) ^2