Пусть

– остовное дерево простого связного взвешенного графа

,

– ребро

и

,

–компоненты графа

. Пусть далее

,

и

обозначает множество ребер, соединяющих

,

в

.
Тогда если

- остов минимального веса для

, доказать что

– остовы минимального веса для

и вес

- минимальный среди весов ребер из
