Komplexe Potenzreihe/Unendlich oft differenzierbar/Fakt/Beweis