Gunakan hipotesis induksi dan kondisi kedua untuk melengkapi pembuktian lemma: jika \(x\in\bigcap_{k=1}^nB_k\text{,}\) maka ada \(B\in\B\) dengan \(x\in B\subseteq\bigcap_{k=1}^nB_k\text{.}\)