多項式f(x)=0が複素数zを解に持つとする。
係数を共役にした多項式\overline{f(x)}を考えると
\overline{f(x)}=0は共役\overline{z}を解にもつ。
ところが左辺は実係数だから・・・。