1,已知被弃选的边AB是当前可选的边中最小的,且A,B不在一个联通块中
2,当把所有点加入集合后,再加入边AB
3,由于所有点都在集合中,那A点和B点在加入边AB之前就联通了,记从A到B的这条通路为AB1
4,再加入AB边,那A到B就是个环
4,由于在弃选AB时,A,B不在一个联通块中,AB1在当时也就不联通,意味着AB1至少存在一条边x未加入
5,那x与AB都是弃选AB时的可选边,由于AB最小,有x > AB
6,所以可以删去x,连上AB,保证结果不会变差,并联通性不变
即证:一定会选边AB