Ambil \(s=r-d(a,b)\text{.}\) Karena \(b\in B(a,r)\text{,}\) berlaku \(s\gt0\text{,}\) dan \(B(b,s)\subseteq B(a,r)\text{.}\)