lemma quantum_mutual_info_rw I(C;D) = H(D) − H(D

C).