Es ist
in einer offenen Umgebung von
beliebig oft stetig differenzierbar.
Zunächst werden
Für ein (später zu spezifizierendes)
gibt es nach dem Satz von Taylor für jedes
ein
mit
Sei nun zusätzlich
angenommen. Dann genügt
, d.h.
Fassen wir noch einmal zusammen. Für
ist