Es fácil mostrar que formula_28 conexo tiene la misma cantidad de aristas que formula_5, y el peso total de sus aristas no es mayor que el de formula_5, entonces también es un árbol recubridor mínimo de formula_1 y contiene a formula_8 y todas las aristas agregadas anteriormente durante la construcción de formula_11.