theorem Th3: :: YELLOW13:3

for T being non empty discrete TopSpace holds T is regular