Every 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 is free, and Otto Schreier, who proved the full result in 1927.