高木くんの中では、 pn+1 ∈ Aと書くと
「Aはpn+1の元が取り得る部分集合」になると想像してるらしいが
あくまで「集合Aはpn+1を元として持つ」の意味しかないよ