Todo grafo tiene un "bosque recubridor mínimo".