Andaikan \(W=C\times D\text{.}\) Karena dua pasangan diagonal berada di \(W\text{,}\) kita harus mempunyai \(a_1,a_2\in C\) dan \(b_1,b_2\in D\text{.}\) Maka \((a_1,b_2)\) dan \((a_2,b_1)\) juga harus berada di \(C\times D\text{,}\) bertentangan dengan definisi \(W\text{.}\) Karena \(A\) dan \(B\) masing-masing mempunyai sedikitnya dua anggota, pilihan tersebut selalu tersedia.