theorem :: QUATERN3:68

for z1, z2, z3 being Quaternion holds (z1 - z2) * z3 = (z2 - z1) * (- z3)