 Schreier's lemma

If a group $G$ is generated by $S$, a subgroup $H$ has a set $T$ of right-coset representatives, and $\overline{ts}$ denotes the representative of $Hts$, then $H$ is generated by the Schreier generatorsIn particular, every finite-index subgroup of a finitely generated group is finitely generated.