theorem :: QUATERNI:59

for z being Quaternion st Rea z = 0 holds
z *' = - z