Corollary 2
Tag 0431, permanent. Cite it as [Bourbaki, Tag 0431].
Commutative Algebra, chapter I, § 2. Flat modules
Let be a homomorphism of a ring to a ring . If is a flat right -module, the right -module obtained by extending the ring of scalars to (Algebra*, Chapter II, § 5, no. 1) is flat.*
By definition , where is considered as an -bimodule by means of . As the right -module is flat, it is sufficient to apply Proposition 8.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.