> -- Peter Almazov писал(а):
> ... Честно, говоря мне даже влом в это вникать.... инвариант ... очень простой: куски сравниваемых строк от начала до текущей позиции (< i) совпадают. Даже не требуется более строгая запись. ...Всё правильно.

Но чел должен четко понимать, как словесные формулировки отображаются в формулы.
Для достижения такого состояния нужен тренаж.
Просто некоторым нужно, чтобы их заставили его проделать, а Илья Евгеньевич -- сознательный человек