theorem Th55: :: QUATERN3:55

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