266がオミゴトといった
157の証明を()で追記した結果
基本的に719と同じ
AIに訊いて確認済

「w, w' を任意にとる。
F, F'をw,w' のファイバーとする。
ZがハウスドルフでF,F'は有限集合だから
開集合U,U' をF⊂U、F'⊂U' 、U∩U' = φ と選べる。
G = f(Uᶜ), G'=f(U'ᶜ) とすれば、
w∉G、w'∉G'、 G∪G' = W

(したがってfが閉写像であれば、
Uᶜ、U'ᶜは開集合の補集合で閉集合だから
G,G’も閉集合であり
その補集合Gᶜ=f(U),G’ᶜ=f(U')は開集合で
Gᶜ∩G’ᶜ=φ)」