Si [formule] est intégrable sur [formule] (ou mesurable positive), alors [formule].
**Tonelli** (cas positif) : se démontre d'abord pour les indicatrices de rectangles, puis par le théorème de convergence monotone. **Fubini** (cas intégrable) : écrire [formule], appliquer Tonelli à chaque partie. La condition [formule] garantit que les intégrales itérées sont bien définies p.p.