如果 e 是有权无向图 G 唯一的一条最短边，那么边 e 一定会在该图的最小生成树上。