Let be a field, an extension of , and let be algebraic over . Suppose further that and are conjugate. If has as a root, then is also a root.
If is a root of , then the minimal polynomial of over divides in . Since and are conjugate, is also a root of , and hence of .