Karena \(m+1/n\gt m\text{,}\) bilangan itu bukan batas bawah bagi semua \(d(x,a)\text{.}\) Jadi ada \(a\in A\) dengan \(d(x,a)\lt m+1/n\text{,}\) yakni \(a\in B_n\cap A\text{.}\)