Teorema de Tietze

Sejam $(X,\tau)$ espaço $T_4$, Sejam $F \subset X$ fechado e $f: F \rightarrow \mathbb{R}$ função contínua. Então existe $\overline{f} : X \rightarrow \mathbb{R}$ extensão contínua de $f$.