theorem Th24: :: TOPRNS_1:24

for N being Nat
for w being Point of (TOP-REAL N) st |.w.| = 0 holds
w = 0. (TOP-REAL N)