theorem :: QUATERN3:72

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