Por tanto, si sumamos todas las desigualdades correspondiente a formula_6 para cada sub-ruta de k pasos que no pasan a través de la ciudad 0, obtenemos formula_7 lo cual es una contradicción.