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 .