theorem :: QUATERNI:59

for z being quaternion number st Rea z = 0 holds
z *' = - z