d’où l’on tirera
on aura ensuite, en faisant
Maintenant, puisque l’expression de considérée par rapport à la fonction arbitraire , se termine, on peut supposer, en n’ayant égard qu’à cette seule fonction, partant,
donc
d’où l’on tire
étant une fonction quelconque arbitraire de ensuite l’équation
donne
ayant ainsi on aura au moyen de l’équation
ce qui donne
on aura pareillement