WIP: Verificar a função de fatoração