Nielsen demostraron que cualquier subgrupo de un grupo libre también es libre.