Dado que formula_12 es continua se deduce que debe existir algún formula_24 para el cual la función formula_12 alcanza el valor de la integral formula_26, es decir: