Nielsen-Schreier theorem