Полнота операторов эволюции открытой системы

Пусть $U_{SB}$ — унитарный пропагатор системы и окружения, $M_k=\langle k|U_{SB}|0\rangle$, где $|k\rangle$ составляют ортонормированный базис окружения. Докажите $\sum_kM_k^\dagger M_k=I_S$.