>>491
んで、>>474の>背理法である以上、n^2<p<n(n+1)のpが全て合成数であるnが少なくとも一つ存在することを仮定しています

ルジャンドル予想の否定として適切だと思うわけよ

じゃあ高木くんは違う仮定から証明してるなら>>491からそれは間違いなのよ