Dans cette

*»•» d fy tt)

d'où, puisque -^ n'est pas identiquement nulle, '. «

dx a (y, z)

dernière relation^ u joue le rôle d'une constante. Le théorème sur les déterminants fonctionnels étant supposé vrai, pour les déterminants fonctionnels à quatre lignes, on a donc tt = F (1/, %) ou U7 e=» F (u^ v)y ce qu'il fallait démontrer.