Daqui, temos a prova de que todo espaço métrico é $T_4$. Como Hilbert é um espaço métrico, temos o resultado.