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