- 91 名前：_link">>>78
少し簡略化できた
A-Bの各要素はA_i列のどこかで追加される
もし追加されるタイミングの違うx,y∈A-Bがあったとすると
A_iでxとyのどちらかだけを含むものが存在する
するとB⊂B∪(A∩A_i)⊂Aとなり矛盾するので
A-Bの全要素はあるA_iからA_(i+1)の段階で一斉に追加される
このときA-B以外の要素もA_iに追加されたとすると
上の議論をA'_kに適用することで矛盾がわかるので、
A_(i+1)-A_iはA-Bに一致する [] - [ここ壊れてます]
