Corollary 4
Tag 08NE, permanent. Cite it as [Bourbaki, Tag 08NE].
Integration, III, p. 30, § 2. Support of a measure
In the space , the set of point measures is total for the topology of strictly compact convergence (§1, No. 10).
On the cone , the topology of strictly compact convergence is identical to the vague topology (§1, No. 10, Prop. 18), and every measure on may be written , where the () are positive measures; the conclusion therefore follows from Th. 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.