donc 3 divise , comme 3 et 5 sont premiers entre eux d'après le théorème de Gauss, 3 divise y.

Nécessairement il existe tel que d'où .

Est-ce suffisant ? Après remplacement dans l'équation , on vérifie que les couples solutions sont de la forme avec.