Soit (Sigma(fn:I->K))n une suite d'applications
Si
-la série (Sigma(fn))n converge sur I
-l'application Sigma(n=0..+oo,fn) est cpm sur I
-Vn€N fn est intégrable sur I
-la série (Sigma(Int(I,|fn|))n converge
Alors
-l'application Sigma(n=0..+oo,fn) est intégrable sur I
-Int(I,(Sigma(n=0+oo,fn))=Sigma(n=0..+oo(Int(I,fn)
)
