Without loss of generality, we only need to show that xq∈I.
Suppose to the contrary that there are some integers a and b≠0 for which
xq=ab
Since q≠0 is rational, there are integers c≠0 and d≠0 such that
q=cd
Therefore, we have
x=abdc=adbc
Since a, b, d and c are all integers, then so are ad and bc. Since b≠0 and c≠0, then also bc≠0. But this contradicts the assumption that x was irrational. Therefore, xq is irrational. ◻