Lemma 1.15.
Assuming that:
X
,
Y
,
Z
random variables
Z
=
f
(
Y
)
Then
H
[
X
|
Y
]
≤
H
[
X
|
Z
]
.