Theorem: The roots of a polynomial of degree two or higher, with real coefficients occur in complex conjugate pairs.
Proof: Let be a solution of , where , , s are real, and . Let so that . Now we have . Taking the complex conjugate of each side yields, , thus is also a root of the polynomial equation. Noting that completes the proof.