Когерентная информация через окружение

Пусть $|\psi\rangle_{ABE}$ очищает матрицу плотности $\rho_{AB}$. Покажите

$$I(A\rangle B)_\rho=H(B)_\psi-H(E)_\psi.$$

Квантовая энтропия $H(A)_\rho=-\operatorname{Tr}(\rho_A\log_2\rho_A)$ вычисляется по локальной матрице плотности; $0\log_2 0=0$. Все логарифмы имеют основание 2.

Когерентная информация определена как $I(A\rangle B)=H(B)-H(AB)=-H(A|B)$.