A complex polynomial has complex coefficient
Let be a real polynomial. If is a root of , then so too is
E.g the roots of are and