Si se repiten los pasos mencionados anteriormente, eventualmente se obtendrá el árbol recubridor mínimo de formula_1 que es igual a formula_3.