https://1library.org/document/qvvl11dq-existencia-subgrupos-livres-grupos-finitamente-apresentados-geradores-relacoes.html