theorem Th59: :: QUATERNI:66

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