theorem :: FINTOPO8:6

for NT, NTY being NTopSpace
for y being Point of NTY holds NT --> y is continuous by Lm3;