theorem Th17: :: YELLOW_8:17

for T being non empty TopSpace
for p being Point of T holds Cl {p} is irreducible