theorem :: QUATERN2:57

for c1, c2 being quaternion number holds (- c1) .|. (- c2) = c1 .|. c2