"Path v 0 , v 1 , v 2 , ???, v k is the shortest path from i = 0 v 0 to v k if there is no other path from v 0 to v k with lower weight." . . . .