For example, one can show that every subgroup of a free group is free.
Για παράδειγμα, μπορούμε να δείξουμε ότι κάθε υποομάδα μιας ελεύθερης ομάδας είναι ελεύθερη.