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