theorem Th52: :: QUATERN3:52

for z1, z2 being Quaternion holds - (z1 + z2) = (- z1) - z2