Lemma 8
Tag 0434, permanent. Cite it as [Bourbaki, Tag 0434].
Commutative Algebra, chapter I, § 2. Flat modules
(i) Every module admitting a finite presentation is finitely generated. (ii) If is a left Noetherian ring, every finitely generated left -module admits a finite presentation. (iii) Every finitely generated projective module admits a finite presentation.
Assertion (i) follows trivially from the definitions. If is left Noetherian and there exists a surjective homomorphism , where is a free left -module with a finite basis, the kernel of is finitely generated (Algebra, Chapter VIII, , no. 1, Proposition 1 and no. 3, Proposition 7), hence there is a surjective homomorphism , where is free and has a finite basis, and the exact sequence is a finite presentation of ; whence (ii)
Finally, suppose that is a finitely generated projective module; then it is a direct factor of a finitely generated free module (Algebra, Chapter II, §2, no. 2, Corollary to Proposition 4); the kernel of the surjective homomorphism is then isomorphic to a quotient of and hence finitely generated and the proof is completed as for (ii).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.