Encode the ensemble label in an orthogonal classical register:
The classical-quantum state has , and , where . Hence
Applying changes the conditional states to the output ensemble. The same identity gives . Data processing for quantum mutual information, proved in Question 3, therefore yields the Holevo quantity under a quantum channel:
This concerns the information available in the whole ensemble, not the change in the entropy of each individual state.