Todo polinomio formula_152 de grado positivo es el producto de una unidad por el producto único de potencias de irreducibles mónicos, diferentes entre ellos.