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