Reelle Potenzreihe/Unendlich oft differenzierbar/Fakt/Beweis