Example
Tag 0C9E, permanent. Cite it as [Bourbaki, Tag 0C9E].
General Topology, chapter IX, § 6. Polish spaces, Souslin spaces, Borel sets
\* Let \mu be a positive measure on a locally compact space X; then the corresponding outer measure \mu^* is a capacity on X. It can be shown that in Euclidean space \mathbf{R}^n (n \geq 3), the "Newtonian outer capacity" is a capacity in the sense of Definition 8.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.