Well-Ordering Theorem

PROP-WOT. Well-Ordering Theorem. $\lrimp\AC$

Every set can be well-ordered, i.e. for any $X$, there exists a well-order on $X$.