メインの指摘は二つ
・A⊇BとA⊆Bの両方を使うなら、両方とも証明する必要がある
・仮に両方が成り立ったとしたらそれはA=Bとなるだけで輪郭云々の議論にはならない