Let Y1 be a minimum spanning tree of graph P. If Y1=Y then Y is a minimum spanning tree.
Нека Y1 е минимално распространето дрво од графот P. Ако Y1 = Y тогаш Y е минимално распространето дрво.