Pero esto no es más que la definición de la derivada de formula_1 en el punto formula_81, de modo que