Proposition 17
Tag 04AD, permanent. Cite it as [Bourbaki, Tag 04AD].
Commutative Algebra, chapter II, § 4. Spectra of rings and supports of modules
Let be a ring, an -module and its annihilator; if is finitely generated, then and is therefore closed in . Let be a system of generators of and let , be the annihilator of ; then , hence (no. 3, equation (3)) and the Proposition follows from the Corollary to Proposition 16.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.