_$(x-x_1).(x-x_2)(x-x_3)(x-x_4)=0$
$x^4-(x_1+x_2+x_3+x_4)x^3+(x_1x_2+x_1x_3+x_1x_4+x_2x_3+x_2x_4+x_3x_4)x^2- (x_1x_2x_3+x_1x_2x_4+x_1x_3x_4+x_2x_3x_4)x+x_1x_2x_3x_4=0$
Diğer taraftan $a\neq0$ olmak üzere, $ax^4+bx^3+cx^2+dx+e=0\Rightarrow x^4+\frac bax^3+\frac cax^2+\frac dax+\frac ea=0$ olur. Bu ikisinin eşitliğinden köklerle katsayılar arasındaki ilişki :
$-\frac ba=x_1+x_2+x_3+x_4$
$\frac ca= x_1x_2+x_1x_3+x_1x_4+x_2x_3+x_2x_4+x_3x_4$
$-\frac da=x_1x_2x_3+x_1x_2x_4+x_1x_3x_4+x_2x_3x_4$ ve son olarak
$\frac ea=x_1x_2x_3x_4$ olur. Eğer verilen denklemdeki gibi $a=1$ olarak alınırsa,
$- b=x_1+x_2+x_3+x_4$
$ c= x_1x_2+x_1x_3+x_1x_4+x_2x_3+x_2x_4+x_3x_4$
$-d=x_1x_2x_3+x_1x_2x_4+x_1x_3x_4+x_2x_3x_4$
$e=x_1x_2x_3x_4$ olur. Demek ki sabit terim köklerin çarpımından oluşuyor. Eğer köklerden tam sayı olan varsa bu kesinlikle sabit terimin çarpanlarından birisi olmak zorundadır. O yüzden sabit terimin çarpanlarını öncelikle kontrol ediyoruz.