Bài tập 1, § 4

Cho $X, Y$ là hai không gian tôpô, $A$ là một tập con của $X$ và $B$ là một tập con của $Y$. Chứng minh rằng $\operatorname{Fr}(A \times B) = (\operatorname{Fr}(A) \times \overline{B}) \cup (\overline{A} \times \operatorname{Fr}(B))$.