Let be an extension of contained in . Suppose is algebraic over with minimal polynomial and such that the complex conjugate of is also in . Prove that and are conjugates in .
Note that complex conjugation is an automorphism of . Thus . Since is a root of the minimal polynomial , and are conjugate in .