Teorem: $(X,\tau)$ topolojik uzay ve $A\subseteq X$ olmak üzere
$$Fr(A)=X\setminus (A^{\circ}\cup A^d).$$
Bu teoremin de ayrıca kanıtını yapabiliriz. Ben yukarıdaki soruyu bu teoremi bildiğimizi varsayarak kanıtlayacağım.
$$cl(A)\cap (X\setminus Fr(A))$$
$$=$$
$$cl(A)\cap (A^{\circ}\cup A^d)$$
$$=$$
$$cl(A)\cap \left(A^{\circ}\cup (\setminus A)^{\circ}\right)$$
$$=$$
$$[cl(A)\cap A^{\circ}]\cup [cl(A)\cap (\setminus A)^{\circ} ]$$$$=$$$$A^{\circ}\cup \left [cl(A)\cap (X\setminus cl(A)) \right ]$$$$=$$$$A^{\circ}\cup\emptyset$$$$=$$$$A^{\circ}$$
ve
$$A\in \tau$$ olduğundan $$A^{\circ}=A$$ yani $$cl(A)\cap (X\setminus Fr(A))=A$$ olur.