consider L being complete continuous LATTICE;
consider T being Scott TopAugmentation of L;
take T ; :: thesis: ( T is Scott & T is continuous & T is complete )
thus ( T is Scott & T is continuous & T is complete ) ; :: thesis: verum