theorem :: QUATERN3:58

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