Hausdorff maximality theorem