Real power series/Derivative by formal derivative/Fact

Let

denote a power series which converges on the open interval , and represents there a function .

Then the formally differentiated power series

is convergent on . The function is differentiable in every point of the interval, and

holds.