带权的连通无向图的最小代价生成树是唯一的。