訂正

y が (1+p+…+p^n)/2 と p^n の奇数の公倍数
という主張以降のほぼコピペじゃん。

でもちろんそういう奇数は存在するので>>693の証明は間違ってる。
というわけで、もちろん
どっちかあっててどっちか間違ってるなんて事はない。
コピペなんだから。
でどこが違うか？ではなくどこが間違ってるのかはわかったのか？