Bài tập 6, § 9

Cho $X$, $Y$ là hai không gian tôpô, $A$ (tương ứng $B$) là một tập con quasi-compact của $X$ (tương ứng $Y$). Bây giờ chứng minh rằng, với mọi lân cận $U$ của $A × B$ trong $X × Y$, tồn tại một lân cận $V$ của $A$ trong $X$ và một lân cận $W$ của $B$ trong $Y$ sao cho $V × W \subset U$.