Theorem 1
Tag 08NA, permanent. Cite it as [Bourbaki, Tag 08NA].
Integration, chapter III, § 2. Support of a measure
— Every measure on a locally compact space is in the vague closure of the vector space of measures whose support is finite and contained in .
It suffices to prove that is orthogonal to the subspace of orthogonal to (TVS, II, §6, No. 3, Cor. 2 of Th. 1), that is, that the relations , where runs over the support of , imply ; but this is just Prop. 8 of No. 3.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.