1. Masalah: Diberikan bahwa setidaknya salah satu dari pasangan $(a_1, b_1)$, $(a_2, b_2)$, dan $(a_3, b_3)$ memiliki properti $P$. Kita harus membuktikan bahwa setidaknya dua dari $a_1, a_2, a_3$ atau setidaknya dua dari $b_1, b_2, b_3$ memiliki properti $P$. 2. Notasi dan asumsi: Misalkan $A = \{a_1, a_2, a_3\}$ dan $B = \{b_1, b_2, b_3\}$. Diketahui untuk setiap $i = 1, 2, 3$, $a_i$ atau $b_i$ memiliki properti $P$. 3. Pendekatan: Kita akan menggunakan metode kontradiksi. Asumsikan bahwa tidak ada dua elemen di $A$ yang memiliki properti $P$ dan tidak ada dua elemen di $B$ yang memiliki properti $P$. 4. Dari asumsi ini, paling banyak satu elemen di $A$ memiliki properti $P$. Karena ada tiga elemen, maka paling banyak satu $a_i$ memiliki $P$. 5. Demikian juga, paling banyak satu elemen di $B$ memiliki properti $P$. 6. Karena untuk setiap $i$, $a_i$ atau $b_i$ memiliki $P$, dan paling banyak satu $a_i$ dan satu $b_i$ memiliki $P$, maka total elemen dengan $P$ adalah paling banyak dua. 7. Namun, karena ada tiga pasangan $(a_i, b_i)$ dan setiap pasangan memiliki setidaknya satu elemen dengan $P$, maka minimal ada tiga elemen dengan $P$. 8. Ini kontradiksi dengan asumsi bahwa paling banyak satu elemen di $A$ dan satu elemen di $B$ memiliki $P$. 9. Oleh karena itu, asumsi awal salah. Jadi, setidaknya dua elemen di $A$ atau setidaknya dua elemen di $B$ memiliki properti $P$. Jawaban akhir: Setidaknya dua dari $a_1, a_2, a_3$ atau setidaknya dua dari $b_1, b_2, b_3$ memiliki properti $P$.