 Ruzsa triangle inequality

For finite subsets $A,B,C$ of an abelian group with $A$ nonempty,An injective encoding chooses one representation of each element of $B-C$ and translates it by every element of $A$.