Proposition 3
Tag 0448, permanent. Cite it as [Bourbaki, Tag 0448].
Commutative Algebra, chapter I, § 3. Faithfully flat modules
Let be an exact sequence of right -modules. Suppose that and are flat and that one of them is faithfully flat. Then is faithfully flat.
We know already that is flat (, no. 5, Proposition 5). We verify that has property (b) of Proposition 1. Let be a left -module. As is flat, there is an exact sequence
(, no. 5, Proposition 4). If , it follows that and are zero; as one of the modules , is faithfully flat, this implies that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.