Category:Axiom of Choice implies Kuratowski's Lemma