theorem Th2: :: YELLOW13:2

for T being non empty discrete TopSpace holds T is normal