Кратность спектра некоторых сжатий

Вычисляется кратность прямой суммы операторов следующего вида: $U=U_a\oplus U_s$ – унитарный оператор, $T$ – сжатие класса $C_0$, $S$ – односторонний сдвиг, $S^*$ – его сопряженный.
Теорема
$$ \mu_{(U\oplus S^n\oplus S^{*m}\oplus T)}=\max\{\mu_{U_s}, n+\max\{\mu_{U_a}, \mu_T, 1-\delta_{m0}\}\}, $$
где $\delta_{m0}=1$ при $m=0$ и $\delta_{m0}=0$ при $m>0$.