complex conjugate root theorem

theorem that complex roots of a real polynomial come in conjugate pairs