>>303
>>299の2.と3.のようなことをいう。
たとえばa^2<2ならば有理数rでa^2<r^2<2となるものが取れる。
するとr^2はAの元だがIaには属さない。
rの取り方は、たとえばa=p/qのときr=(Np+1)/(Nq)とおいてNを十分大きくとればいいだろう。