Lemma 6.9. Assuming that:

  • G an abelian group

  • X a G-valued random variable

Then
d[X;X]2d[X;X].