theorem :: QUATERNI:45

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