theorem :: QUATERN2:8

for c1, c2 being Quaternion holds c1 = (c1 - c2) + c2