Изменения

Последоваельность из <tex>w</tex> будет удовлетворять условию, так как эти строки равны. Следующее слово будет иметь общий префикс с <tex>w</tex>, а после него будет стоять символ, меньший следующего символа из <tex>w</tex> (новое <tex>w</tex> получается по третьему случаю). Поэтому следующее слово будет либо префиксом строки <tex> w </tex>, либо более длинным словом, чем <tex> w </tex>, но тогда это слово будет меньше <tex> w </tex> в символе из третьего случая алгоритма.