Корневые линеалы и характеристические функции сжимающих операторов

Доказано, что размерности ядер операторов $(T-\lambda I)^n$ и $K_n(\lambda)$ совпадают. Здесь $T$ произвольное сжатие в гильбертовом пространстве,
$$ K_n(\lambda) =\begin{pmatrix} \theta^{*}(\bar\lambda)&0&\dots&0\\ \frac1{1!}\theta^{*(1)}(\bar\lambda)&\theta^{*}(\bar\lambda)&\dots&0\\ \frac1{(n-1)!}\theta^{*(n-1)}(\bar\lambda)&\frac1{(n-2)!}\theta^{*(n-2)}(\bar\lambda)&\dots& \theta^{*}(\bar\lambda) \end{pmatrix}, $$
$\theta$ – характеристическая функция операторного узла, порожденного сжатием $T$.