Axiom of Choice implies Zorn's Lemma

Theorem
Let the be accepted.

Then Zorn's Lemma holds.

Also see

 * Maximal Principles