La salida formula_3 del algoritmo de Prim es un árbol porque las aristas y los nodos agregados a formula_3 están conectados.