Lemma 18.28.12. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. If $\mathcal{G}$ and $\mathcal{F}$ are flat $\mathcal{O}$-modules, then $\mathcal{G} \otimes _\mathcal {O} \mathcal{F}$ is a flat $\mathcal{O}$-module.

Proof. This is true because

$(\mathcal{G} \otimes _\mathcal {O} \mathcal{F}) \otimes _\mathcal {O} \mathcal{H} = \mathcal{G} \otimes _\mathcal {O} (\mathcal{F} \otimes _\mathcal {O} \mathcal{H})$

and a composition of exact functors is exact. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).