Esto demuestra que formula_3 es el árbol recubridor mínimo de formula_1.