Jarak ke gabungan tidak melebihi jarak ke masing-masing himpunan, sehingga tidak melebihi minimum keduanya. Sebaliknya, minimum itu adalah batas bawah bagi setiap jarak ke titik dalam \(B\cup C\text{.}\) Kedua pertidaksamaan memberi kesamaan.