se cumple que X es compacto, ssi, Y es compacto.