Axiom of Choice implies Kuratowski's Lemma/Proof 1

Theorem

Let the Axiom of Choice be accepted.

Then Kuratowski's Lemma holds.

Proof

We have:

• Axiom of Choice implies Zorn's Lemma
• Zorn's Lemma implies Kuratowski's Lemma.

$\blacksquare$