Describir: El invariante del árbol generador en los sistemas de ciclos de primer retorno