for z being Quaternion st |.z.| = 0 holds
z = 0