あらあら大変！
>>659 で

このとき√p[1],…,√p[k−1]はQ上一次独立になる。

ではなくて、

このとき√p[1],…,√p[k]はQ上一次独立になる。

よ。これが必要よ。
再び訂正！