>>341
cは可変ですけど

>>342
＞p が y の約数であるとはいえない。これは別途証明しなければならない
2b=c(p^n+…+1)
b=c(p+1)/2×(p^(n-1)+p^(n-3)+…+1)
証明していると思います。

＞p が合成数だったら
必要条件を検討しているので、その場合は考慮する必要がありません

>>345
何故考えればわかる内容をここで教えなくてはならないのか？

>>346
そのようなことはない。このような情報操作はよくありがちですねw