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