Lemma 6.1 (Ruzsa triangle inequality). d(A,C)d(A,B)+d(B,C).