Terapkan Corollary 3.10 pada \(u=x-z\) dan \(v=z-y\text{;}\) karena \(u+v=x-y\text{,}\) hasilnya tepat pertidaksamaan segitiga bagi \(d_E\text{.}\)