Axiom of Choice implies Zorn's Lemma

Theorem
Acceptance of the Axiom of Choice implies the truth of Zorn's Lemma.

Also see

 * Hausdorff Maximal Principle
 * Kuratowski's Lemma