Da f sich von seiner Ableitung f′ nur um den Term n!xn unterscheidet, sprich
f−f′=n!xn,
ist der größte gemeinsame Teiler von f und f′ konstant. f′ und n!xn sind teilerfremd, weil 0 keine Nullstelle von f′ aber die einzige von n!xn ist.
Das heißt, dass f und f′ keine gemeinsamen Linearfaktoren haben. Dies wiederum impliziert, dass f nur einfache Nullstellen hat.