Complex Conjugate Roots Theorem

If a real-coefficient polynomial has a complex root, then that root’s conjugate is also a root.