consider R being trivial complete strict TopLattice;
take R ; :: thesis: ( R is strict & R is continuous & R is compact & R is T_2 & R is Lawson )
thus ( R is strict & R is continuous & R is compact & R is T_2 & R is Lawson ) ; :: thesis: verum