令是一个加权图，令T是G的最小生成树，则T中任意两个顶点和之间的路径必定是图G中该两点之间的最短路径