Inter-universal geometryとABC予想(シン応援スレ) 87

>>696
>{w1} が閉 ⇔ その補集合 W - {w1} が開 ⇔ w2 の開近傍として使える。
>{w2} が閉 ⇔ その補集合 W - {w2} が開 ⇔ w1 の開近傍として使える。
>よって w1 と w2 は W で分離可能。
w1,w2以外にw3があれば
W-{w1}∩W-{w2}∋w3なので分離できてない