[Proof] For n∈N using induction. Since the polynomial Q1(x) divides itself, the conclusion holds when n=1. Now assume that the identity Qn(x)=Rn(x)Q1(x) has been proven for some n, where Rn(x) is a polynomial, then we have
Qn+1(x)≡P[Qn(x)+x]−x≡P[Rn(x)Q1(x)+x]−x≡{P[Rn(x)⋅Q1(x)+x}−P(x)+[P(x)−x]
Assume
then
Qn+1(x)≡k=0∑mak((Rn(x)Q1(x)+x)k−xk)+Q1(x)≡k=0∑makRn(x)Q1(x)Sk(x)+Q1(x)≡Q1(x)(1+k=0∑makRn(x)Sk(x))
where
Sk(x)=j=0∑k−1(Rn(x)Q1(x))jxk−j−1,
Here, we applied the identity
ak−bk=(a−b)j=0∑k−1ajbk−j−1,
and took a=Rn(x)Q1(x)+x,b=x.
This proves that the conclusion holds for n+1.