Proposition 13
Tag 048K, permanent. Cite it as [Bourbaki, Tag 048K].
Commutative Algebra, chapter II, § 3. Local rings. Passage from the local to the global
Let be a multiplicative subset of a ring and an -module. If is jflat (resp. faithfully flat), is ajflat (resp. faithfully flat) -module and a flat -module.
As , the first assertion follows from Chapter I, § 2, no. 7, Corollary 2 to Proposition 8 (resp. Chapter I, § 3, no. 3, Proposition 5); moreover, is a flat -module (, no. 4, Theorem 1); hence if is a flat -module, so is by virtue of Chapter I, § 2, no. 7, Corollary 3 to Proposition 8.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.