Comos^{\prime}=\overline{D} s enA, s^{\prime} es mensurable enA y también en-A (por convención,s^{\prime}=0 por-A ), lo tanto, en todosE^{n}. \quad \square \[s B+\varepsilo...Comos^{\prime}=\overline{D} s enA, s^{\prime} es mensurable enA y también en-A (por convención,s^{\prime}=0 por-A ), lo tanto, en todosE^{n}. \quad \squares B+\varepsilon \geq s \bigcup_{k} I_{k}=\sum_{k} s I_{k} \geq(a-\varepsilon) \sum_{k} m I_{k} \geq(a-\varepsilon) m A. Sujeto a la Nota 1 en §10, sif ess -integrable enA \in \mathcal{M}^{*}(m A<\infty), entoncesf s^{\prime} esm -integrable enA y
