Jika \(n=1\text{,}\) hipotesis berarti \(x\in B_1\text{;}\) pilihan \(B=B_1\) memenuhi \(x\in B\) dan \(B\subseteq B_1=\bigcap_{k=1}^1B_k\text{.}\) Jika \(n=2\text{,}\) hipotesis berarti \(x\in B_1\cap B_2\text{.}\) Kondisi kedua secara tepat menyediakan \(B_3\) yang memuat \(x\) dan berada di dalam irisan tersebut. Kedua kasus dasar selesai.