Proposition 1
Tag 04KE, permanent. Cite it as [Bourbaki, Tag 04KE].
Commutative Algebra, chapter IV, § 2. Primary decomposition
Let be a Noetherian ring and an -module. The following conditions are equivalent: (a) is reduced to a single element.
(b) and every homothety of is either injective or almost nilpotent (, no. 4). If these conditions are fulfilled and is the set of such that the homothety is almost nilpotent, then .
This follows immediately from , no. 4, Corollary to Proposition 9 and no. 1, Corollary 2 to Proposition 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.