Ya que formula_5 es el árbol recubridor mínimo de formula_1 hay un camino en formula_5 que une los dos extremos.