Suppose that R is a field and dR[X]. Every residue class modulo d contains a
canonical representative:
Proposition
If dR[X] is a polynomial of degree n > 0,
then every
residue class modulo d has a unique representative
of degree less than n.
This unique representative is the remainder
obtained when dividing an arbitrary representative of the class by d.
R[X]. Every residue class modulo d contains a
canonical representative: