>>674
>この理屈は間違い。

ではどういう理屈で>>663
>任意の2以上の正整数xについて x≠Φ、0∈x
といったのか?

おかしいだろう