R is weer een lichaam. Een direct gevolg hiervan is dat elke restklasse modulo d een natuurlijke representant bevat.

Propositie

Als R een lichaam is en d R[X] is een veelterm van graad n > 0, dan heeft elke restklasse modulo d een unieke representant van graad kleiner dan n. Deze unieke representant is de rest bij deling door d van een willekeurige representant.

Notatie: a mod d voor de unieke representant van graad kleiner dan n van a+(d).