theorem Th48: :: QUATERNI:55

for z being quaternion number holds (- z) *' = - (z *')