Ортогональные смешанные состояния достигают границы Холево

Покажите, что шенноновская информация ансамбля смешанных состояний на ортогональных подпространствах равна его информации Холево. Тем самым мы получаем класс ансамблей, для которых достигается нижняя граница $I(X;A)_{\phi}$ на степень сжатия.