Решение
Опишем маршрут движения путешественника последовательностью
, i=1,2,3,\ldots})
где

- город, посещенный на

- ом шаге,

- номер дороги – выезда из города

. Количество всевозможных пар
})
равно

, следовательно, на маршруте движения

начнутся повторения.
Предположим, что в город

путешественник не вернется. Тогда найдутся натуральные числа

и

такие, что выполняются условия:

и

, при всех

(первый повтор членов последовательности
, i=1,2,3,\ldots})
произошел на шаге с номером

). Но тогда в город

путешественник попадает вначале из города

по дороге с номером

, а затем из города

по дороге с номером

. При этом дальнейший маршрут движения в город

одинаковый. Тогда ввиду однозначности маршрута, номера дороги, по которым попадаем в город

, совпадают. Так как в каждый город ведут дороги с различными номерами, то города

и

совпадают. Но тогда

. Получили противоречие. Следовательно, наше предположение не верно. А значит, утверждение доказано.