Das hängt davon ab, ob die Aussage gilt oder nicht.
Wenn sie gilt, dann konstruiert man eine bijektive Abbildung zwischen \(A\times B\) und \(C\times D\) mittels der bijektiven Abbildungen \(A\to C\) und \(B\to D\).
Wenn sie nicht gilt, dann gibt man Mengen \(A\), \(B\), \(C\) und \(D\) an, so dass bijektive Abbildungen \(A\to C\) und \(B\to D\) existieren, aber keine Abbildung \(A\times B \to C\times D\) bijektiv ist.