Nilai klaim: jika \(A\times B=C\times D\) dan semua empat himpunan tidak kosong, maka \(A=C\) dan \(B=D\text{.}\)