Corollary 2
Tag 043A, permanent. Cite it as [Bourbaki, Tag 043A].
Commutative Algebra, chapter I, § 2. Flat modules
Let A, B be two commutative rings, a homomorphism such that B is a flat A-module and E an A-module. Then, for every finitely generated submodule F of E, the annihilator of is the ideal of B, where a is the annihilator of F in A.
It suffices to apply Proposition 12 with , , , .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.