Corollary 6.5. Assuming that:

  • X, Y are G-valued random variables

Then
d[X;Y]0.