実際に(**)の同値性を検証してみよう。

x∈y が成り立つとする。x⊃y でないことを示したい。
背理法を使う。もし x⊃y ならば、これと x∈y から、
x∈y⊂x すなわち x∈x となる。

↑このように、(**)の同値性を示す途中で x∈x に遭遇してしまう。
よって、先に ¬(x∈x) が証明できてなければならない。

しかし、¬(x∈x) を証明するより先に
「(**)なら簡単に示せるはず」というのが
UTyjqEFh の戦略だったはずだから、これでは企画倒れ。