//**Alongamento 1.2.23** Seja $(X,\tau)$ um espaço topológico. Mostre que $T_4$ é equivalente à seguinte propriedade: "Para todo $F$ fechado e todo $V$ aberto tal que $F\subset V,$ existe um aberto $U$ tal que $F\subset U\subset \overline{U}\subset V.$"// ----