K⊆Y açık bir küme olsun. Amacımız f−1(Y) kümesinin X'te açık olduğunu göstermek.
K∈€ olsun. O zaman Y∖K kapalıdır yani Y∖K=¯Y∖K.
f−1(Y∖K)⊆X⟹f(¯f−1(Y∖K)⊆¯f(f−1(Y∖K) olur varsayımımızdan dolayı.
⟹f(¯X∖f−1(K))=f(¯f−1(Y∖K))⊆¯f(f−1(Y∖K)=¯Y∖K=Y∖K
elde ederiz çünkü biliyoruz ki K, € topolojisinin bir elemanı yani açık bir küme, tümleyeni kapalı olduğundan tümleyeni, tümleyeninin kapanışına eşit.
Son eşitlikte f(¯X∖f−1(K))=Y∖K her iki tarafa da f−1 uygularsak
¯X∖f−1(K)⊆f−1(Y∖K)=X∖f−1(K) elde ederiz ki bu X∖f−1(K) £ topolojisinde kapalı demektir. O zaman tümleyeni f−1(K) açıktır, f−1(K)∈ £.