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