Dowód nierówności informacyjnej Holevo
Załóżmy, że mam klasyczny kanał klasyczno-kwantowy W:X×Y→D(H)W:X×Y→D(H)W : \mathcal{X}\times\mathcal{Y} \rightarrow \mathcal{D}(\mathcal{H}), gdzie są zbiorami skończonymi, a jest zbiorem macierzy gęstości w skończonych wymiarach, złożonej przestrzeni Hilberta