theorem :: QUATERN2:26

for c being quaternion number holds (c *') *' = c