Category:Hausdorff's Maximal Principle implies Kuratowski's Lemma