This theorem is also called the theorem of d'Alembert.

First examples are displyed in subsection 7.

Suppose that is not real. By thm 7.3, is also a root of . Thus, factors by Re .