theorem Th53: :: QUATERN3:53

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