Dimostrazione

 

Derivando si ottiene:

 

f '(x) = m(x - a)m – 1g(x) + (xa)mg'(x) = (x - a)m – 1(mg(x) + (xa)g'(x)).

 

Se poniamo h(x) = mg(x) + (xa)g'(x) otteniamo che h(a) = mg(a) e h(a) è non nullo poiché siamo in

caratteristica 0. Quindi la molteplicità di a come radice di f '(x) è m – 1.          (c.v.d.)