Ordering Principle/Proof 1

Proof
From Zermelo's Well-Ordering Theorem, $S$ has a well-ordering.

The result follows from Well-Ordering is Total Ordering.