Изменения
Нет описания правки
Если <tex>Height[p] = LCP(S_{j-1}, S_{i-1}) > 1</tex>, то <tex>Height[q] = LCP(S_{k}, S_{i}) \ge Height[p] - 1</tex>
|proof=
<tex>LCP(S_{k}, S_{i}) \ge LCP(S_{j} , S_{i})</tex>(из Леммы) = <tex>LCP(S_{j-1}, S_{i−1i-1}) - 1</tex> (из факта №3).
}}
