consider T being complete strict Scott TopLattice;
take T ; :: thesis: ( T is complete & T is Scott & T is strict )
thus ( T is complete & T is Scott & T is strict ) ; :: thesis: verum