Corollary 1
Tag 092K, permanent. Cite it as [Bourbaki, Tag 092K].
Integration, V, p. 43, § 5. Measures defined by numerical densities
In order that a function , with values in a Banach space or in , be locally negligible for the measure , it is necessary and sufficient that be locally negligible for .
To say that (resp. ) is locally negligible for (resp. for ) is equivalent to saying that (resp. ) is locally negligible for (resp. for ). We are thus reduced, in view of Prop. 2 of No. 2, to the case that are positive; the statement then follows at once from Prop. 3.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.