theorem :: QUATERN3:62

for z1, z2, z being Quaternion st z1 + z = z2 + z holds
z1 = z2