>>451-452
それは正しいだろう
AはXの同一でない部分集合だって言っている
X⊂A
にはなり得ない