RE

Faisons cGo= G(y), cTo= P(n);

cette relation s'écrit (18) CRU) nr Cet etes AN TRES).

Dans cette formule, r est l’ordre des deux formes G, F, si tous les symboles F sont du premier ordre. Dans le cas général, r diffère de cet ordre d’un nombre pair, en sorte que la relation (18) a lieu toujours, en y désignant par r l’ordre commun aux deux formes G(7) ELU | .

Étant donné G(y), il n'existe qu’une forme l(1) donnant lieu à la relation (18); car, s’il en existait une seconde, l'(n)+W(1), on en conclurait que y W(n) est une différentielle exacte, y et n restant arbitraires, ce qui est impossible, puisque ce produit ne contient pas la dérivée de y.

On pourrait donc déduire l(n) de G(y) par tout autre moyen, sans changer le résultat.

Or soit

On a