theorem Th4: :: YELLOW13:4

for T being non empty discrete TopSpace holds T is T_2