Nielsen-Schreier theorem
Every subgroup (http://planetmath.org/Subgroup) of a free group
is free.
This theorem is named after Jakob Nielsen, who in 1921 proved that every subgroup of a free group of finite rank (http://planetmath.org/FreeGroup) is free, and Otto Schreier, who proved the full result in 1927.