>>203
その説明も納得できませんよ。
k に依存して pk=(p+1)/2 が成り立つように p を変化させたりしたら、その p が y の約数である必要はまったくもってありません
その場合、(p^{n-1}+p^{n-3}+…+1) が b の約数である必要はないですからね。