Let Y1 be a minimum spanning tree of graph P. If Y1=Y then Y is a minimum spanning tree.
Misalkan Y1 adalah pohon rentang minimum dari P. Bila Y1=Y maka Y adalah pohon rentang minimum.