Las siguientes proposiciones refuerzan la intuición de que compactos (al menos