Изменения

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