1: \begin{abstract}

2: We present a new proof that the statement 'every sugbroup of a free group is free' implies the Axiom of Choice for finite sets.

3: \end{abstract}

4: