vient d'être trouvé égal à zéro, on a
cJZ( r- < zî y-
Mais, si Ton différentic [3] par rapport à x et |i| par rapport à y, les premiers termes des deux équations ainsi obtenues sont égaux à cause de [Ij : les seconds termes sont donc aussi égaux, c'est-à-dire qu'on a
Ce résultat ne peut être compatible avec l'équation précédente que si l'on a à la fois :