A [power series](/page/Power%20Series) can be differentiated term by term inside its disk of convergence, and the differentiated series has the same [radius of convergence](/theorems/262). This is a basic tool for proving that power series define complex differentiable functions.