Equivalence of the Axiom of Choice, the Well-Ordering Theorem, and Zorn's Lemma