theorem Th30: :: TEX_2:30

for X being non empty TopSpace
for x being Point of X holds {x} is discrete