Consider the following argument. ( is a cube root of 1.)
Because , we have , and thus .
Is this reasoning valid?
This argument would only hold if one of and contains the other. A more transparent example is and ; again these are degree 2 extensions of the rationals, but neither contains the other, so they are not equal.