consider T being correct Scott TopAugmentation of R;
take T ; :: thesis: T is order_consistent
thus T is order_consistent by Th10; :: thesis: verum