theorem :: QUATERN3:59

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