En cualquier árbol de expansión dado, esos ciclos forman una base del espacio de ciclos.