Oración 1: 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
Oración 2: si formula_59 y formula_60 son polinomios de formula_21 no nulos, con el coeficiente director de formula_60 una unidad de formula_1, entonces existen polinomios formula_64 y formula_65 de formula_21 tales que
Conector: es decir,
Relación: entailment
Género: books