Lemma 7.12. Assuming that:

  • U,V,X be independent 𝔽2n-valued random variables

Then
d[U+V;X]12(d[U;X]+d[V;X]+d[U;V]).