theorem Th41: :: FINTOPO8:41

for NT being normal NTopSpace holds NTop2Top NT is normal