>>395
バカ？A∩X＝A を証明しているのではない。A＝X を証明しているのだ。

A＝X を証明するには、A⊂X と X⊂A の2つを証明する必要がある。
A⊂X は明らかだから、あとは X⊂A を証明すればよい。X⊂A を証明するには、

「任意の (p,n)∈X に対して (p,n)∈A が成り立つ」

ことを証明すればよい。実際にこれが証明できている。

証明できているにも関わらず、

「これは A∩X＝A を証明しているにすぎない」

と勘違いしているのがお前。ただのバカ。

この説明を見てもまだ間違いだと思うなら、
>>392の[1]〜[5]のうちどれが間違ってるのか、番号を指定してみろ