>>93
君、目的見失っとるやろ(w)

証明するのは、
ハウスドルフ空間Z上の点の有限集合AとBがあるときの
AとBを分離するZ上の開集合の存在な