Изменения

{{TODO|t=пропуск}}

{{Теорема

{{TODO|t=пропуск}}

{{Теорема

Осталось проверить, что <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>.

}}