Lemma 56.5.6. In Lemma 56.5.2 or in Lemma 56.5.5 if $F$ is an exact functor, then the corresponding object $\mathcal{K}$ of $\mathit{QCoh}(\mathcal{O}_{X \times _ R Y})$ is flat over $X$.

Proof. We may assume $X$ is affine, so we are in the case of Lemma 56.5.2. By Lemma 56.5.4 we may assume $Y$ is affine. In the affine case the statement translates into Remark 56.3.5. $\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).