Rappelons d'abord ce lemme

Si la série

est uniformément convergente pour i « | = R , on aura

M étant le maximum du module de f{z) pour { 0 j = R.

Et l'on sait que l'uniformité de convergence de la série pour |2l = R est assurée , lorsque le rayon de convergence de la série surpasse R. On aurait pu considérer une série

la limitation

aura lieu alors pour les valeurs positives et négatives de i. La série

étant uniformément convergente pour | « i ^ Ri, cela veut dire qu'étant donné un nombre e aussi petit qu'on le voudra, il est possible de trouver un entier n tel que

quel que soit n', et cela pour toutes les valeurs de s dont le module ne surpasse pas R^.

Cette somme

est une somme d'un nombre fini de séries

toutes convergentes dans le cercle C. Elle pourra donc se mettre aussi sous la forme d'une telle série

En appliquant à cette série le lemme rappelé plus haut , en posant 1 2! I ^ R^ , il vient

Cette limitation montre que la série

est convergente ; nous posons