>>385
バカ？日本語が読めないの？
A⊂Xが成り立つ理由はそこに書いてあるだろ？

「　A　の　定　義　に　よ　り　A⊂X が成り立つ」

ほら、これが理由だよ。「 A　の　定　義　に　よ　り 」が理由だよ。
だから A⊂X が成り立つんだよ。あとはAの定義を確認すれば終わりだろ。
Aの定義は>>368にあるから、>>368を見ろ。

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

これがAの定義だ。最初からXの中の(p,n)しか考えてないだろ。
だからA⊂Xが成り立つんだよ。書いてあることそのままだろ。自明だろ。

なんでこの程度の日本語が読めないの？バカなの？