Vimos que formula_47 es un DFU, ver corolario A.1 del capítulo La Factorización de Polinomios.