In 1926 Otto Schreier would generalize this result by removing the condition that the free group be finitely generated; this result is now known as the Nielsen–Schreier theorem.
1926 verallgemeinerte Otto Schreier diese Erkenntnis, indem er die Bedingung, dass die freien Gruppen endlich erzeugt sind, entfernte; diese Erkenntnis ist auch als Satz von Nielsen-Schreier bekannt.