Example 4
Tag 0CYL, permanent. Cite it as [Bourbaki, Tag 0CYL].
Commutative Algebra, chapter IX, § 4. Fermeture intégrale d'un anneau local complet
One can prove (exercise 30) that every finitely generated algebra over a Nagata ring is a Nagata ring.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.