Hipotesisnya: untuk setiap \(x\in\bigcap_{i=1}^kB_i\) ada \(C\in\B\) dengan \(x\in C\subseteq\bigcap_{i=1}^kB_i\text{.}\) Targetnya: untuk setiap \(x\in\bigcap_{i=1}^{k+1}B_i\) ada \(D\in\B\) dengan \(x\in D\subseteq\bigcap_{i=1}^{k+1}B_i\text{.}\)