Proposition 14
Tag 048M, permanent. Cite it as [Bourbaki, Tag 048M].
Commutative Algebra, chapter II, § 3. Local rings. Passage from the local to the global
Let be a ring, a commutative -algebra and a multiplicative subset of . If is a -module which is flat as an -module, is a flat -module.
; the proposition then follows from Chapter I, § 2, no. 7, Proposition 8, applied with replaced by , by , by and by .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.