¿Es cierto que por cada subgrupo generado de forma finita$H$ de índice infinito en un grupo$F$ en las dos letras$\{x,y\}$, existe un índice finito subgrupo$K$ de$H$, de modo que el subgrupo normal$N$ de$F$ generado por$K$ es de índice infinito en$F$?
El subgrupo normal$N$ de$F$ generado por$K$ viene dado por PS
