Referans icin:
https://matkafasi.com/123074
x∈X olsun ve {x}∈τ olduğunu varsayalım. x∈X(X,τ), T1 uzayı}⇒{x}∈C(X,τ){x}∈τ}⇒{x}∈Clop(X)…(1) (X,τ), bağlantılı⇒Clop(X)={∅,X}…(2) (1),(2)⇒X={x}⇒|X|=|{x}|=1|X|>1}⇒Çelişki.
NOT: Clop(X):=τ∩C(X,τ)