Операторы измерения одной подсистемы

Боб измеряет регистр $B$ в произвольном ортонормированном базисе $\{|u_x\rangle_B\}$, а Алиса не действует на $A$. Проверьте, что операторы

$$M_x=I_A\otimes|u_x\rangle\langle u_x|_B$$

задают допустимое измерение совместной системы: $M_x\ge0$ и $\sum_xM_x=I_{AB}$.