Prova de uma desigualdade de informação em Holevo

Suponhamos que tem um canal clássica-clássico-quântico W: X× Y→ D ( H )W:X×Y→D(H)W : \mathcal{X}\times\mathcal{Y} \rightarrow \mathcal{D}(\mathcal{H}) , em que X, YX,Y\mathcal{X},\mathcal{Y} são conjuntos finitos e D ( H )D(H)\mathcal{D}(\mathcal{H}) é o conjunto de matrizes de densidade nas finito...