In particular, Lk + : Eλ,m → Eλ,m+k must be zero for k sufficiently large, because the inequality λ ≥ m2 must hold in each of the nontrivial joint eigenspaces.
Özel olarak, Lk+ : Eλ,m → Eλ,m+k yeterince büyük k için sıfır olmalı, çünkü λ ≥ m2 eşitsizliği önemsiz olmayan ortak her özuzayın içindekini tutmalı.