Como falei, consegui provar pelo lema de gauss, substituindo x por x+1, que o
polinômio é redutível nos Z, e assim aquele método de supor a fatoração fica
restrito a encontrar inteiros que satisfaçam o problema.Mesmo assim, é um
método muito braçal, acho que existe algo por trás do problema. Se alguém tiver
uma luz, agradeço!
