Comos′=¯Ds enA,s′ es mensurable enA y también en−A (por convención,s′=0 por−A), lo tanto, en todosEn.◻ \[s B+\varepsilo...Comos′=¯Ds enA,s′ es mensurable enA y también en−A (por convención,s′=0 por−A), lo tanto, en todosEn.◻sB+ε≥s⋃kIk=∑ksIk≥(a−ε)∑kmIk≥(a−ε)mA. Sujeto a la Nota 1 en §10, sif ess -integrable enA∈M∗(mA<∞), entoncesfs′ esm -integrable enA y