Proposition 1
Tag 06TN, permanent. Cite it as [Bourbaki, Tag 06TN].
Algebra, chapter V, § 15. Separable extensions
— Let A be a commutative ring and x an element of A. For x to be nilpotent it is necessary and sufficient that be invertible in the ring .
We note that is a subring of the formal power series ring and that has in the inverse (IV, p. 30, Prop. 5). For to be invertible in it is necessary and sufficient for to be a polynomial, that is, for x to be nilpotent.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.