Soit a et b deux entiers naturels tels que .

Donc a et b ne sont pas nuls ensemble.

Il existe donc deux entiers naturels a' et b' premiers entre eux tels que  et .

Il y a quatre couples solutions pour  : , , et .

Il y a quatre couples solutions pour  : , , et .