formula_123 donde formula_124 o formula_125 Es decir que el anillo de polinomios es un dominio euclídeo, con tamaño definido por el \text{gr}ado de un polinomio.