Dado que la función formula_12 es continua en el intervalo cerrado formula_4, posee un valor máximo en dicho intervalo para algún formula_14, que llamaremos formula_15 y también un valor mínimo en el mismo intervalo: formula_16, para algún formula_17.