show/hide this revision's text 2 added 45 characters in body

A consequence of the Nielsen-Schreier theorem is the following: If a group generated by $n$ elements, then every subgroup of finite index $k$ is generated by $kn−k+1$ elements. See also this aops discussion; there jmerry gives a direct algebraic proof.

show/hide this revision's text 1

A consequence of the Nielsen-Schreier theorem is the following: If a group generated by $n$ elements, then every subgroup of finite index $k$ is generated by $kn−k+1$ elements. See also this aops discussion.