La imagen continua de un compacto es compacto.