Untuk \(x\in B(b,s)\text{,}\) bandingkan \(d(x,a)\) dengan \(d(x,b)+d(b,a)\text{,}\) kemudian substitusikan definisi \(s\text{.}\)