Corollary 1.10.
Assuming that:
Y
=
f
(
X
)
Then
H
[
Y
]
≤
H
[
X
]
.