Доказательство

Поделим с остатком многочлен  на многочлен :

Так как , то  — многочлен степени не выше 0. Подставляя , поскольку , имеем .