Free abelian is subgroup-closed

Statement
Any subgroup of a free abelian group is a free abelian group.

Related facts

 * Freeness is subgroup-closed
 * Finitely generated free abelian is subgroup-closed