Lemma 1
Tag 045Y, permanent. Cite it as [Bourbaki, Tag 045Y].
Commutative Algebra, chapter II, § 2. Rings and modules of fractions
For every ideal a of A, the set S of elements , where , is a multiplicative subset of A and the set of elements of of the form , where and , is an ideal contained in the Jacobson radical of .
The first assertion is obvious, as well as the fact that is an ideal of . On the other hand, and for all and by definition of S; hence is invertible in for all , which completes the proof of the lemma (Algebra, Chapter VIII, § 6, no. 3, Theorem 1).
This being so, if we set , clearly N is a finitely generated -module; if , then and it follows that by Nakayama's Lemma (Algebra, Chapter VIII, § 6, no. 3, Corollary to Proposition 6); the corollary then follows from Corollary 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.