theorem Th31: :: WAYBEL27:31

Omega Sierpinski_Space is Scott