Teorem: (X,τ) topolojik uzay ve A⊆X olmak üzere
Fr(A)=X∖(A∘∪Ad).
Bu teoremin de ayrıca kanıtını yapabiliriz. Ben yukarıdaki soruyu bu teoremi bildiğimizi varsayarak kanıtlayacağım.
cl(A)∩(X∖Fr(A))
=
cl(A)∩(A∘∪Ad)
=
cl(A)∩(A∘∪(∖A)∘)
=
[cl(A)∩A∘]∪[cl(A)∩(∖A)∘]=A∘∪[cl(A)∩(X∖cl(A))]=A∘∪∅=A∘
ve
A∈τ olduğundan A∘=A yani cl(A)∩(X∖Fr(A))=A olur.