Como formula_648 es un dominio de factorización única, el polinomio formula_498 se puede expresar como un producto de irreducibles sobre formula_650.