(R,τ) topolojik uzayının Hausdorff uzayı olduğunu varsayalım. x,y∈R ve x≠y olsun.
(x,y∈X)(x≠y)(R,τ), Hausdorff uzayı}⇒(∃U∈U(x))(∃V∈U(x))(U∩V=∅)
⇒(Uc, U -kompakt)(Vc, U -kompakt)(Uc∪Vc=(U∩V)c=∅c=R)
⇒(Uc∪Vc, U -kompakt)(Uc∪Vc=R)
Bu ise R'nin U-kompakt olmaması ile çelişir.