theorem Th48: :: QUATERNI:55

for z being Quaternion holds (- z) *' = - (z *')