theorem :: QUATERNI:45

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