Corollary 1
Tag 09F9, permanent. Cite it as [Bourbaki, Tag 09F9].
Integration, chapter VII, § 2. Quotient of a space by a group; homogeneous spaces
— Let be two positive measures on . For to have base , it is necessary and sufficient that have base . For and to be equivalent, it is necessary and sufficient that and be equivalent.
The first assertion follows from Prop. 6, a) and c). The second follows from the first.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.