Axiom of Choice implies Kuratowski's Lemma/Proof 1

Proof
We have:
 * Axiom of Choice implies Zorn's Lemma
 * Zorn's Lemma implies Kuratowski's Lemma.