theorem Th49: :: YELLOW_9:49

for S being complete LATTICE
for T being TopAugmentation of S st the topology of T = sigma S holds
T is Scott