Кубитный деполяризующий канал с общей запутанностью

Рассмотрим кубитный деполяризующий канал $\rho\rightarrow(1-p)\rho+p\pi$. Докажите, что его классическая пропускная способность при наличии общей запутанности равна

$$2+\left( 1-3p/4\right) \log(1-3p/4)+\left( 3p/4\right) \log(p/4).$$