>>462
＞A⇒X
＞は、AであればXであるが、これをいうことは可能なのだろうか？

バカ？ A⊂X は A の定義から明らかだろ？

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

これがAの定義なんだから、つまり A＝{(p,n)∈X｜〜〜〜〜} という形なのだから、
自明に A⊂X だろ？