**Any subgroup of a free group is free. **

This result is quite interesting, because the statement is purely algebraic yet the simplest proof is topological. Namely, any free group G may be realized as the fundamental group of a graph X.

The main theorem on covering spaces tells us that every subgroup H of G is the fundamental group of some covering space Y of X; but every such Y is again a graph. Therefore its fundamental group H is free.