Se comprueba que \((2x+3)(3x^2+3x+4)+4\) vale \(x^3+2x+1\) módulo 5. Los demás pares no cumplen la igualdad. Como \(\mathbb{Z}_5\) es un cuerpo, el cociente y el residuo son únicos.
Dados polinomios \(f\) y \(g\neq 0\) sobre un cuerpo \(F\), existen un único cociente \(q\) y un único residuo \(r\) que cumplen la igualdad de abajo, con \(r\) nulo o de grado menor que el de \(g\).
\[f=gq+r,\qquad r=0\ \text{ o }\ \deg r<\deg g\]
Más ejercicios de algoritmo de la división de polinomios