theorem Th2: :: WAYBEL25:2

for p being Point of Sierpinski_Space st p = 1 holds
not {p} is closed