Theorem

Any polynomial with complex coefficients of degree has exactly complex roots counting multiplicities. In other words, any polynomial is factorable in a product of linear polynomials where are the roots, and is the leading coefficient.