fundamental_theorem_of_algebra

Every nonconstant polynomial with complex coefficients has at least one complex root. Equivalently, for every complex polynomial $f$ with positive degree, there exists $z \in \mathbb{C}$ such that $f(z)=0$.