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
.