consider A being trivial strict TopLattice;
take A ; :: thesis: ( A is strict & A is continuous & A is lower-bounded & A is meet-continuous & A is Scott )
thus ( A is strict & A is continuous & A is lower-bounded & A is meet-continuous & A is Scott ) ; :: thesis: verum