Let $S$ be a set.
Then there exists a total ordering on $S$.
The result follows from Well-Ordering is Total Ordering.
This theorem follows trivially from the Order-Extension Principle.
As shown in Proof 2 the ordering principle is weaker than the Order-Extension Principle (OE).
It is known that it is in fact strictly weaker than OE.