Chegamos á desigualdade

d(x,y) - δ(A) - δ(B) ≤ d(u,v)

calquera que sexan os puntos u∈A e v∈B. Logo

d(x,y) - δ(A) - δ(B) ≤ d(A,B).