Bizonyítsuk be, hogy van olyan $c>0$ valós szám, hogy ha az $a_0\mathrm{,}{a}_1\mathrm{,}\text{...}\mathrm{,}{a}_n$ számok mindegyike $1$ vagy $-1$, és az $a_0+a_{1}x+\text{...}+a_n{x}^n$ polinom osztható az ${\left(x-1\right)}^k$ polinommal, akkor $k<c\cdot \text{ln}{}^2\left(n+1\right)$.