Bewijs
Er zijn veeltermen a(X) en b(X) met a(X)f(X) +b(X)g(X)=1. Vermenigvuldig deze relatie met h(X): a(X)f(X)h(X)+b(X)g(X)h(X)=h(X). Omdat f(X) | a(X)f(X)h(X) en f(X) | b(X)g(X)h(X) volgt nu f(X) | h(X).