Ordering Principle/Proof 1

Proof
From the Well-Ordering Theorem, $S$ has a well-ordering.

The result follows from Well-Ordering is Total Ordering.