fully T_4 ⇒ T_4 の証明を思いついたのでメモ． (fully T_4 の定義は任意の開被覆に対して open star refinementが存在する．)対遇をとって T_4 でない ⇒ fully T_4 でない ことを示す． T_4でないとするとある互いに素な閉集合F_1,F_2があって，F_1,F_2を含…