增加prim和kruskal的证明