Na divisão de P(x) = a_5 x^5 + 2 x^4 + a_4 x^3 + 8 x^2 - 32 x + a_3 por x - 1, obteve-se o quociente Q(x) = b_4 x^4 + b_3 x^3 + b_2 x^2 + b_1 x + b_0 e o resto -6. Sabe-se que (b_4, b_3, b_2, b_1) é uma progressão geométrica de razão q > 0 e q < 1. Podemos afirmar: