Restando se obtiene \(g(q_1-q_2)=r_2-r_1\). Si \(q_1\ne q_2\), el lado izquierdo tiene grado al menos \(\deg g\) (un cuerpo no tiene divisores de cero), pero el derecho tiene grado menor que \(\deg g\).
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