Remark
Tag 09AO, permanent. Cite it as [Bourbaki, Tag 09AO].
Integration, VI, p. 27, § 2. Vectorial measures . "
If then is a positively homogeneous continuous function on . Setting , by definition (Ch. V, §5, No. 9) .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.