complex conjugate root theorem

Proper noun

 * 1)  The theorem that if a complex number is a root for a polynomial with real coefficients, the complex conjugate of that number will also be a root.