Convergent power series/R/Primitive function/Fact

Let denote a power series which converges on .

Then the power series

converges also on , and represents a primitive function

for .