Corollary 7

Tag 049W, permanent. Cite it as [Bourbaki, Tag 049W].

If $A$ is a Noetherian ring, $X = \mathrm{Spec}(A)$ is a Noetherian space.

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

Cited by

Nothing.