Конечно порожденные подгруппы свободных проконечных групп и некоторых групп Галуа

Доказывается, что для (замкнутой) подгруппы $H$ свободной проконечной или свободной проразрешимой группы $F$ ранга $\operatorname{rank}F>1$ такой, что $H$ содержит нетривиальную достижимую в $F$ подгруппу $N$, выполнено $\operatorname{rank}F<\infty$ и $[F:H]<\infty$.
Библиография: 10 названий.