Ambil \(p=(x_1,y_1)\ne q=(x_2,y_2)\text{.}\) Jika \(x_1\ne x_2\text{,}\) pilih buka saling lepas \(U_1,U_2\) pada \(X\text{;}\) maka \(U_1\times Y\) dan \(U_2\times Y\) buka, memuat \(p,q\text{,}\) dan beririsan kosong. Jika \(x_1=x_2\text{,}\) maka \(y_1\ne y_2\text{;}\) argumen yang sama dengan \(X\times V_1\) dan \(X\times V_2\) berlaku. Rubrik: solusi harus memuat kasus lengkap dan identitas irisan hasil kali.