Lemma 6.7 (The entropic Ruzsa triangle inequality). Assuming that:

  • X, Y, Z are G-valued random variables

Then
d[X;Z]d[X;Y]+d[Y;Z].