consider R being complete LATTICE;
consider T being correct strict Scott TopAugmentation of R;
take T ; :: thesis: ( T is Scott & T is complete & T is strict )
thus ( T is Scott & T is complete & T is strict ) ; :: thesis: verum