Title: Complex conjugate root theorem
Passage: In mathematics, the complex conjugate root theorem states that if P is a polynomial in one variable with real coefficients, and a + bi is a root of P with a and b real numbers, then its complex conjugate a − bi is also a root of P.
Question: if a + bi is a complex zero of a polynomial with real coefficients then so is its a − bi
Answer: yes