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