theorem Th5: :: YELLOW13:5

for T being non empty discrete TopSpace holds T is T_1