>>640
>>636 で書いた
Q(√p[1],…,√p[k−1])の元は、
Σ[U⊂｛1,…,k−1｝](a_UΠ[i∈U]√p[i])
であらわされる
ってのは、Q上の次数と基底の数を考えれば明らかだし、
(一次独立性もp[i]が素数だから心配ないし)
x-√p[n]がこれらの基底で表せないことは明らかではないかしら？
√p[i]を素数としたのがここで効いてくるのよね。