Sea formula_7 la función formula_84, definida sobre el conjunto de los números reales (denotado por formula_85).