Untuk setiap \(c\in C\text{,}\) pertidaksamaan segitiga memberi \(d(x,c)\leq d(x,y)+d(y,c)\text{.}\) Ambil infimum, lalu tukar \(x\) dan \(y\text{.}\)