publicações selecionadas Conjectura de Hanna Neumann : das origens à demonstração BFC-teoremas para comutadores