Локальные действия Боба не меняют состояние Алисы

Проверьте, что локальный оператор плотности Алисы не меняется, если Боб применяет унитарный оператор или проводит измерение, не сообщая ей результат. Измерение без отбора исхода имеет вид $\mathcal E_B(\sigma)=\sum_kM_k\sigma M_k^\dagger$, где $\sum_kM_k^\dagger M_k=I_B$.

Частичный след по $B$ определён в ортонормированном базисе $\{|k\rangle_B\}$:

$$\operatorname{Tr}_B T=\sum_k(I_A\otimes\langle k|)T(I_A\otimes|k\rangle).$$