Corollary 3

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

If $K$ is a field, every polynomial algebra $K[X_1, \ldots, X_n]$ is an integrally closed domain.

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

Cited by

Nothing.

Nothing.