Corollary
Tag 0452, permanent. Cite it as [Bourbaki, Tag 0452].
Commutative Algebra, chapter II, § 1. Prime ideals
Let be a maximal ideal of ; for every integer , the only prime ideal containing is .
Such an ideal must contain by Proposition 1 applied to for ; as is maximal, .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.