Corollary 2

Tag 06A2, permanent. Cite it as [Bourbaki, Tag 06A2].

Algebra, chapter IV, § 1. Polynomials

— If A is an integral domain, the invertible elements of $A[(X_i)_{i \in I}]$ are the invertible elements of A.

This follows immediately from Cor. 1.

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

Cited by

Nothing.