Por lo tanto, queda verificado la existencia de un formula_24 en donde la función evaluada en él, toma el valor de formula_26, es decir: