theorem Th59: :: QUATERNI:66

for z being quaternion number st |.z.| = 0 holds
z = 0