Изменения

{{Теорема|statement=

Если <tex>height[suf^{-1}[i-1]] > 0</tex>, то <tex>height[suf^{-1}[i]] \ge height[suf^{-1}[i-1]] - 1</tex>.

<tex>height[suf^{-1}[i-1]] = lcp(S_{i-1}, S_{suf[suf^{-1}[{i-1}]-1]})</tex>, <tex>height[suf^{-1}[i]] = lcp(S_{i}, S_{suf[suf^{-1}[{i}]-1]})</tex>.

Рассмотрим суффиксный массив и позиции в нем суффиксов <tex>i, i-1, suf[suf^{-1}[{i-1}-1]</tex>: