Si definimos el diferencial de formula_40 como