If two variables are independent joint entropy is additive

Statement

Lemma

Suppose we have two independent random variables and over different domains and . Then the Joint Entropy is additive

Proof

This follows from the definitions