p7だめやろ？やっぱり。
qk = y における pk の多重度。
ck = 2y / (1+p+…+p^n) (=c) における pk の多重度。
だから
qk > ck ⇔ 1+p+…+p^n が pk の倍数
で、
1+p+…+p^n = (1+p)(1-p^2+…) = 2pr(1-p^2+…)
だから
qr > cr
は正しいけど、からのp7

＞ゆえに、c はpr^qrで割り切られない。k について対称になるので全ての k に対して c はpk^qkで割り切られない。

これは例の “prで成り立つから他のpkでも成り立つ論法” 使ってるやん。