Proposition 11
Tag 08N8, permanent. Cite it as [Bourbaki, Tag 08N8].
Integration, chapter III, § 2. Support of a measure
— Every measure with compact support is bounded.
For, is also a measure with compact support, thus we can restrict attention to the case that ; if is a continuous mapping of into , with compact support and equal to 1 on , then for every function one has on , therefore (Cor. 2 of Prop. 8) , which proves the proposition (§ 1, No. 8).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.