theorem Th37: :: WAYBEL11:37

for T being complete TopLattice st the topology of T = sigma T holds
T is Scott