Жорданова форма разности проекторов

Доказывается, что каноническая форма Жордана разности проекторов $P-Q$ для собственных значений $\lambda\ne-1, 0, 1$ составлена из пар жордановых клеток — если есть несколько клеток $J_k(\lambda)$, т.е. ровно столько же клеток $J_k(-\lambda)$. Для клетки же $J_k(\pm1)$ с $k>1$ обязательно есть парная клетка $J_l(\mp1)$, где $|k-l|<1$. Библ. 6. Фиг. 3.