Category:Axiom of Choice implies Hausdorff's Maximal Principle