A subgroup of a finitely generated group is again finitely generated.