Axiom of Choice implies Zorn's Lemma

Theorem
Let the Axiom of Choice be accepted.

Then Zorn's Lemma holds.

Also see

 * Hausdorff Maximal Principle
 * Kuratowski's Lemma