Na divisão de $P(x)=a_5{x}^5+2x^4+a_4{x}^3+8x^2-32x+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\ne 1$. Podemos afirmar: