theorem TH: :: FINTOPO8:50

for T being non empty strict normal TopSpace holds Top2NTop T is normal