若{v1，v2，v3，v4}是v1到v4的最短路，则{v1，v2，v3}（）是v1到v3的最短路。