Proposition 2.14. β is a compact Hausdorff space.