Un corolario inmediato es que si formula_6 es además acotado, y formula_5 puede ser extendida en forma continua a formula_11 (que es un conjunto compacto, por lo que formula_12 alcanzará un máximo sobre formula_11), entonces: