Un espacio Hausdorff compacto es normal.