最小生成树算法，咋证明的