theorem :: QUATERN3:63

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