16.9 Topology

Problem: Let's prove the relation \( X \times Y=A \times B \Leftrightarrow X=A \), \( Y=B \).