Dist(A,B) + Dist(B,C) >= Dist(A,C)