Remember the definition of (here is algebraic number), it isdefinedto be thesmallestfield containing and *.

Thus, is thesmallestfield containing and . Thus, if you can show that then by definition . Can you show this last step?

*)Meaning if is any other field containing and then .