corolario 11.4.10, que no puede ser compacta.