We bekijken nog eens de veeltermfunctie f

Stelling
Voor elke veeltermfunctie en elk getal is er een veeltermfunctie en een getal met:
.
heet de rest bij deling van door .
Als , dan heet deelbaar door .