Corollary 6.5.
Assuming that:
X
,
Y
are
G
-valued random variables
Then
d
[
X
;
Y
]
≥
0
.