Recordemos que si formula_1, entonces el "diferencial total" de formula_2 se define como