theorem :: QUATERNI:46

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