1.任意一颗最小生成树一定可以包含无向图中权值最小的边。
2.给定一张无向图G=(V,E),n=|V|,m=|E|。从E中选出k<n-1条边构成G的一个生成森林。再从剩余的m-k条边中选n-1-k条边添加到生成森林中，使其成为G的生成树，并且选出的边的边权之和最小。则该生成树一定可以包含m-k条边中链接生成森林的两个不连通节点的权值最小的边。

一些理解
1.不论是Kruskal还是Prim都是依托于第二个推论而得到的。
例如，Kruskal是每次将两个联通块链接到一起，选择的是最小的那条，能链接两个连通块的边。而Prim则是每一次都选择离当前连通块最近的边加入，保证每次加入的都是最优选择。
2.这也能知道，不论Kruskal跑到什么程度，都是当前最优解。不论是从开头跑了一半，还是已经确定一些联通块，再去跑其他边，都是最优解。
3。Kruskal还能跑出，所有生成树中，其权值最大的边的最小值的那颗树。