Appliquons l'algorithme d'Euclide aux polynômes et .
avec .
. Donc est le dernier reste non nul.
Donc le PGCD de et est .