>>358
＞起こり得るかどうかは不明だとしかいいようがない

不明ではない。起こりえない。何度でも書くよ。

「(p+1)/2に含まれる素数だけが、p^(n-1)+p^(n-3)+…+1の因数となる場合」なんぞ存在しない

つまり、>>257は仮定が偽の命題になっており、>>256の批判がそのまま当てはまっている↓

＞部分的に解決したと称する部分は本質的でない場合分けをして
＞自明に分かる場合を排除しているだけで、問題の解決には全く繋がっていない