Reelle Potenzreihe/Ableitung durch formale Ableitung/Fakt/Beweisverweis