>>367
どうしても集合表記が欲しいなら、集合表記してやるよ。

X＝{(p,n)｜pは奇素数, n≧5, p≡n≡1 (mod 4) }

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

B＝{(p,n)∈X｜p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2に含まれていない素因数を持つ }

C＝{(p,n)∈X｜(p+1)/2に含まれる素数だけが、p^(n-1)+p^(n-3)+…+1の因数となる }

と置くと、まず自明に A⊂B⊂X−C が成り立つ
また、>>294により A＝X が成り立つ
よって X＝A⊂B⊂X−C となったので X⊂X−C つまり C＝φ となる
つまり「(p+1)/2に含まれる素数だけが、p^(n-1)+p^(n-3)+…+1の因数となる場合」なんて存在しない

ほらね、A＝B が成り立つ必要なんてない
それでも存在しないことが示せてる