Corollary 1.18.
Assuming that:
X
,
Y
random variables
H
[
X
,
Y
]
=
H
[
X
]
+
H
[
Y
]
Then
X
and
Y
are independent.