Изменения
→Доказательство правильности
Теперь собственно перманентность, в <tex> (*) </tex> положим <tex> k = 0 </tex> :
<tex> \sum\limits_{kn=0}^p a_n t^n = S_p t^p + \sum\limits_{j=0}^{p-1} S_j(t^j - t^{j+1}) </tex>. Первое слагаемое стремится к 0,
<tex> p \to \infty \Rightarrow S_p \to S, </tex>, поэтому <tex> f(t) = \sum\limits_{j=0}^{\infty} S_j(t^j - t^{j+1}) </tex>
