The fundamental theorem of algebra

Theorem: Any non-constant polynomial over $\mathbb{C}$ has a zero.

Proof: