theorem :: WAYBEL18:12
for T being Scott TopAugmentation of BoolePoset {0} holds the topology of T = the topology of Sierpinski_Space