Es sei
ein
Gebiet
und
, ,
eine Familie von
differenzierbaren Funktionen. Die Familie
, ,
sei
lokal gleichmäßig summierbar
und es gebe einen Punkt
,
für den
, ,
summierbar
sei.
Dann ist
, ,
lokal gleichmäßig summierbar, die Summe ist differenzierbar und ihre Ableitung ist .