如何证明用 Kruskal's 算法生成的树是最小生成树