Die Funktion $f(x, y)$ sei auf $[a, b] \times[c, d]$ definiert, für jedes feste $x \in[a, b]$ sei sie R-integrierbar auf $[c, d]$ und für jedes feste $y \in[c, d]$ partiell nach $x$ differenzierbar Ferner sei die partielle Ableitung $\partial f(x, y) / \partial x$ auf $[a, b] \times[c, d]$ beschränkt und für jedes feste $x \in[a, b]$ auf $[c, d]$ R-integrierbar. Dann ist die Funktion $F$ in (128.4) auf $[a, b]$ differenzierbar, und es gilt
$$
\frac{\mathrm{d}}{\mathrm{d} x} \int_{c}^{d} f(x, y) \mathrm{d} y=\int_{1}^{d} \frac{\partial f(x, y)}{\partial x} \mathrm{~d} y.
$$