Proposition 2.14. βℕ is a compact Hausdorff space.