Lemma 6.3.
Assuming that:
A
,
B
are finite subsets of
G
X
,
Y
are uniformly distributed on
A
,
B
respectively
Then
d
[
X
;
Y
]
≤
log
d
(
A
,
B
)
.