Hausdorff's Maximal Principle implies Kuratowski's Lemma

Theorem
Let Hausdorff's Maximal Principle be accepted as true.

Then Kuratowski's Lemma holds.