Hausdorff's Maximal Principle implies Kuratowski's Lemma/Proof 2

Proof
We have:
 * Hausdorff's Maximal Principle implies Axiom of Choice
 * Axiom of Choice implies Kuratowski's Lemma