$H = \operatorname{Im}(A_\lambda) \oplus \operatorname{Ker}(A_\lambda)$

Док-во:

• Прямое следствие из
  • funcan-4
  • im-a-lambda-closure-lemma