Bizonyítsuk be, hogy van olyan c>0 valós szám, hogy ha az a0,a1,...,an számok mindegyike 1 vagy -1, és az a0+a1x+...+anxn polinom osztható az (x-1)k polinommal, akkor k<c⋅ln2(n+1).