— Let μ be a bounded measure on X; if f∈K(X;C) is such that ∣f(x)∣≤a on Supp(μ), then ∣μ(f)∣≤a∥μ∥.
For, Supp(∣μ∣)=Supp(μ), and if h is a continuous mapping of X into [0,1], equal to 1 on Supp(f) and with compact support, then ∣f(x)∣≤ah(x) on Supp(μ), therefore
∣μ∣(∣f∣)≤a∣μ∣(h)≤a∥μ∥
by Corollary 2; the conclusion then follows from formula (13) of § 1, No. 6.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.