Abstract:
It is proved that, for a (closed) subgroup $H$ of a free profinite or free prosolvable group $F$ of $\operatorname{rank}F>1$ such that $H$ contains a nontrivial composition subgroup $N$ of $F$, we have $\operatorname{rank}F<\infty$ and $[F:H]<\infty$.