>>428
[3]の条件で、Xの集合を変換しているだけだろ、X'=A∩Xなんだから、X'=Aは
当たり前。詭弁終了