theorem Th19: :: QUATERN2:19

for c being quaternion number holds - c = (- 1q) * c