Ослабляет ли алгоритм Дейкстра края кратчайшего пути в order?

В упражнении 24.3-5 «Введение в алгоритмы, 3-е издание» требуется пример того, что это неверно (не всегда верно). Это возможно? На мой взгляд, это невозможно, потому что каждое ребро расслаблено в тот момент, когда путь к текущей вершине уже определен.

Слово в слово:

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