On factorise : et , donc . On note et , premiers entre eux.
(i) divise , mais pas .
(ii) En divisant par , l'équation équivaut à . L'algorithme d'Euclide donne et , et la remontée fournit la solution particulière Si est solution, , et le lemme de Gauss donne .
(iii) Les deux trinômes ont des discriminants et , et aucune racine commune : ils sont premiers entre eux. Le lemme de Gauss donne .
(iv) La relation de Bézout , multipliée par , donne une solution particulière, et l'on conclut comme en (iii).