Considere o polinômio

$$P(x)=x^n+a_{n-1}{x}^{n-1}+\cdots +a_{1}x+a_0$$

em que $a_0,\cdots ,a_{n-1}\in \mathbb{R}$. Sabe-se que as suas n raízes estão sobre a circunferência unitária e que ${\alpha }_0<0$,

O produto das $n$ raízes de $P(x)$ para qualquer inteiro $n\ge l$, é: