Conditional Entropy of Join as Sum/Corollary 1

Corollary 1 to Conditional Entropy of Join as Sum
Let $\struct {\Omega, \Sigma, \Pr}$ be a probability space.

Let $\AA, \CC \subseteq \Sigma$ be finite sub-$\sigma$-algebras.

Then:
 * $\ds \map H {\AA \vee \CC} = \map H {\AA} + \map H {\CC \mid \AA} $

where:
 * $\map H {\cdot \mid \cdot}$ denotes the conditional entropy
 * $\map H \cdot$ denotes the entropy
 * $\vee$ denotes the join