Zermelo's Well-Ordering Theorem/Converse/Proof 1

Proof
Let $S$ be an arbitrary set.

By assumption $S$ is well-orderable.

From Well-Orderable Set has Choice Function, $S$ has a choice function.

As $S$ is arbitrary, the result follows.