The Nielsen–Schreier theorem, that every subgroup of a free group is free.
Το Nielsen-Schreier θεώρημα, ότι κάθε υποομάδα μιας ελεύθερης ομάδας είναι ελεύθερη.