Обсуждение:Задача об оптимальном префиксном коде с сохранением порядка. Монотонность точки разреза

Справедливость перехода

Здравствуйте! Подскажите, пожалуйста, является ли справедливым переход в пункте 2.2 доказательства леммы 2: D[z][j] + D[y][j'] <= D[y][j] + D[z][j']? В пояснении указано, что переход сделан по индукции, но он не может быть объяснен индукцией, если z=i и y=i', ведь тогда этот случай вырождается в доказываемый. Кажется, что такой случай должен быть вынесен в отдельный. Если я ошибаюсь, заранее спасибо за разъяснения! Если нет, надеюсь комментарий будет полезен.