Proof. Combinging Lemma 38.29.3 and Derived Categories of Schemes, Lemma 36.34.3 we see that $R\Gamma (X, K \otimes ^\mathbf {L} E)$ is pseudo-coherent in $D(A)$ for all pseudo-coherent $E$ in $D(\mathcal{O}_ X)$. Thus it follows from More on Morphisms, Lemma 37.66.4 that $K$ is pseudo-coherent relative to $A$. Since $X$ is of flat and of finite presentation over $A$, this is the same as being pseudo-coherent on $X$, see More on Morphisms, Lemma 37.56.18. $\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).