Untuk \(n=1\text{,}\) ambil \(B=B_1\text{.}\) Untuk \(n=2\text{,}\) kondisi kedua memberi \(B_3\in\B\) dengan \(x\in B_3\subseteq B_1\cap B_2\text{.}\)