设 $G = (V,E)$ 是一个带边权的连通无向图。设 $T_1, T_2$ 是 $G$ 的两棵最小生成树,则对于任意两点 $u,v in V$,「$T_1$ 中路径 $u,v$ 上边的最大权值」与「$T_2$ 中路径 $u,v$ 上边的最大权值」相等。