Example 1

Tag 04GH, permanent. Cite it as [Bourbaki, Tag 04GH].

Commutative Algebra, chapter III, § 3. m-adic topologies on Noetherian rings

Let $A$ be a commutative Noetherian ring and $m$ an ideal of $A$ . If $A$ is Hausdorff and complete with the m-adic topology, $A$ is a Zariski ring with this topology, by virtue of § 2, no. 13, Lemma 3.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Corollary 3, § 3

Cites

§ 2, no. 13, Lemma 3