theorem :: WAYBEL25:1

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