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