Sea formula_3 un conjunto cerrado y formula_4 un conjunto compacto tales que formula_5.