Da \( f \) sich von seiner Ableitung \( f' \) nur um den Term \( \frac{x^n}{n!} \) unterscheidet, sprich
\( f - f' = \frac{x^n}{n!} \),
ist der größte gemeinsame Teiler von \( f \) und \( f' \) konstant. \( f' \) und \( \frac{x^n}{n!} \) sind teilerfremd, weil \( 0 \) keine Nullstelle von \( f' \) aber die einzige von \( \frac{x^n}{n!} \) ist.
Das heißt, dass \( f \) und \( f' \) keine gemeinsamen Linearfaktoren haben. Dies wiederum impliziert, dass \( f \) nur einfache Nullstellen hat.