Lemma 1.17. Assuming that:

• $X$ takes values in a finite set $A$

• $Y$ is uniform on $A$

• $H[X]=H[Y]$