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