Eine durch eine Potenzreihe gegebene Funktion
ist in ihrem Konvergenzbereich unendlich oft differenzierbar.