Lemma 1.4.
Assuming that:
Y
=
f
(
X
)
Then
H
[
X
,
Y
]
=
H
[
X
]
.
Also,
H
[
Z
|
X
,
Y
]
=
H
[
Z
|
X
]
.