若序列{V_s，V₁，V₂，……，V_n-1，V_n}是從V_s到V_n的最短路，則序列{V_s，V₁，V₂，……，V_n-1}必定是V_s到V_n-1的最短路。