>>359
だから、これは本当かどうかは知らなく、その証明が正しいのかも分からない
＞p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2のどの素因数よりも大きな素因数を持つ
を条件Aとし、私の以下の条件Bとして
p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2に含まれていない素因数を持つ
という条件は完全に一致する命題ではなく
A⊂B
となる。この違いが分からない素人はレスしなくていいよ