Find an element such that . Express as a polynomial in .
Note that and have minimal polynomials and , with conjugates and , , and , respectively. Since only if , we have . We let . Evidently is satisfied by .
Using some linear algebra, we see that and .
Using the Euclidean algorithm, we see that . Since , ; indeed we can verify that . (See WolframAlpha)