Aussage über die Existenz einer Funktion, für die der Wert unendlich vieler Ableitungen an einer Stelle vorgegeben werden kann. Der Satz lautet:

Zu jeder Folge \({({a}_{n})}_{n=0}^{\infty }\)reeller Zahlen existiert eine in ℝ unendlich oft differenzierbare Funktion f : ℝ → ℝ derart, daß \({f}^{(n)}={a}_{n}\)für alle n ∈ ℕ₀.

Die Funktion f kann sogar so gewählt werden, daß sie in ℝ\{0} reell-analytisch ist, d. h. um jeden Punkt von ℝ\{0} ist f in eine konvergente Potenzreihe entwickelbar.

In diesem Fall existiert also eine offene Menge D ⊂ ℂ\{0} mit ℝ\{0} ⊂ D derart, daß f zu einer in D holomorphen Funktion fortgesetzt werden kann.