Proposition 5
Tag 044B, permanent. Cite it as [Bourbaki, Tag 044B].
Commutative Algebra, chapter I, § 3. Faithfully flat modules
Let be a homomorphism from a ring to a ring . If is a faithfully flat right -module, the right -module is faithfully flat.
Apply Proposition 4 of no. 2 with , noting that the -module is faithfully flat.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.