Todo polinomio no nulo de formula_21 cuyo coeficiente director sea una unidad puede dividir euclídeamente a cualquier otro polinomio de formula_21 y el grado del resto es estrictamente menor que el grado de del divisor.