Legyen $p\left(x\right)$ egész együtthatós polinom, $w$ pedig egységnyi abszolút értékű komplex szám. Igazoljuk, hogy ha a $c=p\left(w\right)$ szám tisztán valós, akkor létezik olyan $q\left(x\right)$ egész együtthatós polinom, amire $c=q\left(w+\frac{1}{w}\right)$.