theorem :: QUATERN2:34

for c being quaternion number holds (- c) " = - (c ")