Corollary 1.9. Assuming that:

$X$ and $Y$ random variables

Then

H [X] \geq 0

and

H [X | Y] \geq 0

.