Ada \(\alpha_0\in I\) dengan \(x\in B_{\alpha_0}\text{,}\) dan setiap bola penyusun memenuhi \(B_{\alpha_0}\subseteq O\text{.}\)