Дано:

Где f(x) - полином , a - соотв. корень.
Собственно по определению ,
a имеет кратность неприводимого многочлена

в многочлене f.
Так же имеем утверждение что кратность неприводимого многочлена (x-a)^k , будет равна k-1 соответственно в многочлене

.
Дальнейший ход размышлений не ясен .