theorem :: QUATERNI:46

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