De

F {x^,z) = Kx^ +B

on déduit aisément :

Lcp [x^,z) = Kx^ + B -f- L6 [x,].

Lô [x^) représente une fonction de x^ seulement; A et B sont des fonctions de z, admettant des dérivées A' et B',

telles que :

Ainsi :

Ax, -f B

Tel serait le résultat sans autre condition que le postulat de Gauss sur la valeur moyenne.

11 entre encore deux fonctions arbitraires, 6 et A; B est lié à A par une relation.