Sea formula_5 el árbol recubridor mínimo de formula_1.