１が理解できなければ何度でも書く、というのがここのセオリーだったね。忘れてたよ

１が>>257で書いていた
＞(p+1)/2に含まれる素数だけが、p^(n-1)+p^(n-3)+…+1の因数となる場合
という場合①が存在しないことを示すために、>>294で
＞p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2のどの素因数よりも大きな素因数を持つ
と書いたのであって、これは①の反論。

まあ、読解力のない１には理解できなくても仕方ないか。