Bewijs
Als d(X) de ggd is, dan zijn er veeltermen p(X),q(X) met d(X)=p(X)a(X)+q(X)b(X). De gemene deler c(X) is dus ook een deler van d(X) en heeft derhalve een graad die kleiner dan of gelijk is aan de graad van d(X).