deonde "F(X)" es un grupo libre con base libre formula_46 consistente en todos las aristas positivamente orientadas en el complemento del árbol-generador "T" en "A".