- множество корней многочлена 
.
- множества корней 
соответственно.
, то выполняется 
(т.к. он является корнем каждого из многочленов).
, т.е. 
.
то выполняется 
, т.е.
, то 
(потому что при (f(x))^2 >0 получаем противоречие равенству выше).Отсюда следует, 
. Т.е. .
.
