実係数多項式では必ず実数ではない複素数の解は共役解を持つから。