Freeness is subgroup-closed

Statement
Every subgroup of a free group is again a free group.

Related facts

 * Finitely generated free is not subgroup-closed: A subgroup of a finitely generated free group need not be finitely generated.
 * Free abelian is subgroup-closed