 Using the factor theorem recursively, it results that
where formula_74 are the real or complex roots of , with some of them possibly repeated.This complete factorization is unique up to the order of the factors.If the coefficients of are real, one generally wants a factorization where factors have real coefficients.