アタシには>>632が証明として正しいのか判断する実力が無いわ…
結局x-√p[n]がℚ(√2,√3,…,√p[n-1])に入らないことを言うときに
本質的に面倒なことを避けられないような気がして