Nielsen-Schreier implies the finite Axiom of Choice

Abstract

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