theorem Th81: :: QUATERN3:81

for z being quaternion number holds z ^2 = (- z) ^2