Существование специальных неотрицательных инвариантных подпространств $J$-диссипативных операторов

Доказывается теорема существования инвариантного максимального неотрицательного подпространства у максимального $J$-диссипативного оператора $A$ из одного специального класса операторов с таким свойством спектра $\sigma(A|_L)$ суженного оператора
$$ A|_L:\operatorname{Im}\sigma(A|_L)\ge0. $$