Изменения
→Свойства периода
<ul><tex>\forall i = 1 \ldots n - km</tex>, <tex>\alpha [i] = \alpha[i + mk]</tex></ul>
Значит получаем, что<br/>
<ul><tex>\forall i = 1 \ldots n - km - k(m + 1)</tex>, <tex>\alpha [i] = \alpha [i + mk] = \alpha[i + mk + k]</tex>,</ul>
следовательно<br/>
<ul>для <tex>\forall i = 1 \ldots n - k(m + 1)</tex>, <tex>\alpha [i] = \alpha[i + k(m + 1)k]</tex>.</ul>Значит у строки есть период длины <tex>k(m + 1)k</tex>.<br/></li>
</ol>
Утверждение доказано.