Axiom of Choice implies Kuratowski's Lemma

Theorem
Let the Axiom of Choice be accepted.

Then Kuratowski's Lemma holds.