Sabemos que el camino óptimo de formula_6 a formula_7 que únicamente utiliza los vértices de 1 hasta formula_8 está definido por formula_5, y está claro que si hubiera un camino mejor de formula_6 a formula_11 a formula_7, la longitud de este camino sería la concatenación del camino mínimo de formula_6 a formula_11 (utilizando vértices de formula_26) y el camino mínimo de formula_11 a formula_7 (que también utiliza los vértices en formula_26).