Suponha por contradição que $X$ não é $T_{2}$. Sejam $x, y \in X$ tais que quaisquer vizinhanças abertas $U$ de $x$ e $V$ de $y$ são tais que $U \cap V \neq \emptyset$. Sejam $\{ A_{n} : n \in \mathbb{N} \}$ e $\{ B_{n} : n \in \mathbb{N} \}$ sistemas de vizinhanças enumeráves de $x$ e $y$, respectivamente. Para cada $n \in \mathbb{N}$, defina $x_{n} \in A_{n} \cap B_{n}$. Note que $\left( x_{n} \right)_{n \in \mathbb{N}}$ é uma sequência convergente para $x$ e para $y$, uma contradição.
$\square$