带权无向图的最小生成树是唯一的。