>>483
平行線にはならないよ。>>472には>>475で反論済み。
その>>475に再反論せずに「平行線だ」でお茶を濁そうとするなら、
それは逃亡したのと同じだから君の負け。

もう一回書こうか？俺は>>368において

A ＝「p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2のどの素因数よりも大きな素因数を持つ」

と置いたのではない。もしこのように置いていたらAは命題となるが、
実際には俺は>>368において

A ＝ {(p,n)∈X｜p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2のどの素因数よりも大きな素因数を持つ }

と置いたのだ。このように置いたAは、命題ではなく集合だろうが。