Category:Hausdorff's Maximal Principle implies Axiom of Choice