語るに落ちたな
＞＞p が y の約数であるとはいえない。これは別途証明しなければならない
＞b=c(p+1)/2×(p^(n-1)+p^(n-3)+…+1) 証明していると思います。
＞必要条件を検討しているので、その場合は考慮する必要がありません
この発言こそ、１が仮定と結論を取り違えたまま勘違いの推論を進めていた、という確たる証拠ですよ。