Fundamental Theorem of Algebra

Theorem
Every non-constant polynomial with coefficients in $\C$ has a root in $\C$.