Show that .
Recall that in our proof that for some , we found that may be taken to be so long as for any conjugates of and of . The minimal polynomials of and over are and , and their conjugates are and , respectively. Evidently, , , and are all distinct from . Thus . In particular, .