Öncelikle söz edilen iddiayı daha formel biçimde ifade edelim ve tartışalım:
A,B⊆R,x∈R,(A,UA) ve (B,UB) topolojik uzay ve f∈BA olmak üzere
Kanıt: x,A nın yığılma noktası ve f homeomorfizma olsun.
x,A`nın yığılma noktası⇒(∀U∩A∈U(x)) (((U∩A)∖{x})∩A≠∅)
⇒(∀U∩A∈U(x)) ((U∩A)∖{x}≠∅))(f,homeomorfizma)(f[U]:=V)}⇒(∀V∩B∈U(f(x))) ((V∩B)∖{f(x)}≠∅)
⇒(∀V∩B∈U(f(x))) (((V∩B)∖{f(x)})∩B≠∅)⇒f(x),B' nin yığılma noktası.
O halde sözü edilen iddia doğrudur.