Proposition 10
Tag 093A, permanent. Cite it as [Bourbaki, Tag 093A].
Integration, V, p. 52, § 5. Measures defined by numerical densities
Let and be two positive measures on T. The following conditions are equivalent: a) The locally negligible sets are the same for and . b) The bands generated by and in are identical. c) One has , where is locally -integrable and locally almost everywhere for .
The conditions a) and b) are equivalent by Cor. 2 of Th. 2 of No. 5. If they are satisfied, then and , where (resp. ) is positive and locally integrable for (resp. ). Therefore (No. 4, Prop. 8) is locally -integrable and . It follows (No. 3, Cor. 2 of Prop. 3) that is equal to 1 locally almost everywhere for , so that and locally almost everywhere for . Conversely, suppose that with locally almost everywhere for ;
since is defined locally almost everywhere and is locally -integrable, is locally -integrable and (No. 4, Prop. 8).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.