Si formula_7 es el árbol recubridor mínimo.