This theorem states that every non-constant polynomial with complex coefficients has at least one complex root.