Изменения

Условию 2 же строка удовлетворяет по построению.

}}

Условие 2 выполняется, т.к. иначе наибольший общий префикс <tex>i</tex> и <tex>j</tex> был бы меньше <tex>|s|</tex>, чего не может быть по построению <tex>s</tex>. Т.е. условие 2 тоже выполнено.

}}