theorem :: FINTOPO8:40

for NT being T_2 NTopSpace holds NTop2Top NT is non empty strict T_2 TopSpace