Сепарабельное состояние Чоя разрушает запутанность

Докажите, что квантовый канал $\mathcal{N}_{A\rightarrow B}$ разрушает запутанность, если $\left( \operatorname{id}_{R}\otimes\mathcal{N} _{A\rightarrow B}\right) (\Phi_{RA})$ — сепарабельное состояние, где $\Phi_{RA}$ — максимально запутанное состояние.