Изменения

<tex>\lambda_{n+p} y_{n+p} - A y_{n+p} + A y_n \in L_{n+p-1}</tex>. <tex>L_{n+p-1} = \mathcal{L} \{x_1,\ldots,x_{n+p-1}\}</tex>. <tex>y_{n+p} \in L_{n+p}</tex>, <tex>y_{n+p} = \sum\limits_{k=1}^{n+p-1} \alpha_k x_k + \alpha_{n+p} x_{n+p}</tex>. Подействуем A: <tex>A y_{n+p} = \sum\limits_{k=1}^{n+p-1} \alpha_k A x_k + \alpha_{n+p} A x_{n+p} = \sum\limits_{k=1}^{n+p-1} \alpha_k \lambda_k x_k + \alpha_{n+p} \lambda_{n+p} x_{n+p} </tex>. Разность <tex>\lambda_{n+p} y_{n+p} - A y_{n+p} = \sum\limits_{k=1}^{n+p-1} \beta_k x_k \in L_{n+p-1}</tex>. <tex>y_n = \sum\limits_{k=1}^n \gamma_k x_k, A y_n = \sum\limits_{k=1}^n \gamma_k \lambda_k x_k \in L_{n+p-1}</tex> и, следовательно, <tex>\lambda_{n+p} y_{n+p} - A y_{n+p} + A y_n</tex> принадлежит <tex>L_{n+p-1}</tex>.

Осталось проверить, что только <tex>0</tex> может быть предельной точкой. Пусть это не так, и какое-то <tex>\lambda \ne 0</tex> — предельная точка, это означает, что для любого <tex>\forall \varepsilon: 0 < \varepsilon < \frac{\lambda}{2}</tex>, во множестве <tex>[\lambda - \varepsilon, \lambda) \cup (\lambda, \lambda + \varepsilon]</tex> содержится собственное число, то есть в отрезке <tex>[\frac{\lambda}{2}, \|A\|]</tex> содержится счетно-бесконечное число точек спектра, чего быть не может, как мы уже показали выше.