Langkah 1. Jika \(B_n\cap A=\emptyset\text{,}\) apa yang dapat disimpulkan tentang \(d(x,a)\) untuk setiap \(a\in A\text{?}\)

Langkah 2. Bandingkan kesimpulan itu dengan fakta bahwa \(m\) adalah batas bawah terbesar dari himpunan semua jarak \(d(x,a)\text{.}\)