Lema de Urysohn

Seja $(X, \tau)$ espaço topológico, $(X, \tau)$ é $T_4$ se, e somente se, para todo $F,G \subset X$ fechados disjuntos, existe $f: X \rightarrow [0,1]$ contínua tal que $f(F)=\{0\}$ e $f(G)=\{1\}$.