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