 Complex conjugate root theorem

The Complex Conjugate Root Theorem states that if a polynomial has real coefficients and a complex number \( a + bi \) (where \( a \) and \( b \) are real numbers and \( i \) is the imaginary unit) as a root, then its complex conjugate \( a - bi \) must also be a root of the polynomial.