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][1] aops discussion.


  [1]: http://www.artofproblemsolving.com/Forum/viewtopic.php?t=62075