Prueba de una desigualdad de información de Holevo

Supongamos que tengo un canal cuántico clásico-clásico W:X×Y→D(H)W:X×Y→D(H)W : \mathcal{X}\times\mathcal{Y} \rightarrow \mathcal{D}(\mathcal{H}) , donde X,YX,Y\mathcal{X},\mathcal{Y} son conjuntos finitos y D(H)D(H)\mathcal{D}(\mathcal{H}) es el conjunto de matrices de densidad en un espacio...