最適解Cから辺を1つ削除すると全域木となり、その全域木の重みは（最小全域木の定義より）最小全域木の重みより小さくならないため、w(T)≤w(C)である。
注意到，删除C上的一条边将产生原图上的一棵生成树，其总权重必然不超过最小生成树，亦即w(T)≤w(C)。