let T be TopAugmentation of R; :: thesis: ( T is Scott implies T is correct )
assume T is Scott ; :: thesis: T is correct
then the topology of T = sigma R by Th51;
hence T is correct by Th48; :: thesis: verum