Let be a field and be algebraic of degree over . Suppose there exists an element such that . Show that the conjugates of over are distinct.
Certainly we have . Now , so . (Recall that , so that can be written uniquely as a polynomial in .) So , and we have . Hence .
By Theorem 5.10 in TAN, because , the conjugates of over are distinct.