1: \begin{proof}

2: We must prove that the natural map

3: $$\derR\Hom_{\DM_\h(X,R)}(M,N)\otimes A\to

4: \derR\Hom_{\DM_{\h}(X,R\otimes A)}(M\otimes A,N\otimes A)$$

5: is an isomorphism in the derived category of

6: the category of $A$-modules.

7: Let us consider the case where $M$ is constructible.

8: We easily reduce the problem to the case where

9: $M=R(Y)$ for some smooth $X$-scheme $Y$.

10: In particular, we may assume that $M=R\otimes^\derL M'$

11: for some constructible object $M'$ of $\DM_\h(X,\ZZ)$.

12: In other words, in the case where $M$ is constructible,

13: we may assume that $R=\ZZ$, in which case we already

14: know this property to hold; see Corollary

15: \ref{cor:exactness_Qlocalization}.

16: To prove the general case,

17: note that, for any ring of coefficients $R$,

18: and any objects $E$ and $F$ of $\DM_\h(X,R)$,

19: one can associate a presheaf of complexes $C(E,F;R)$

20: on the small \'etale site of $X$ such that,

21: for any \'etale map $u:U\to X$, we have

22: canonical isomorphisms

23: $$H^i(C(E,F;R)(U))\simeq H^i_\et(U,C(E,F;R))

24: \simeq\Hom_{\DM_\h(U,R)}(u^*(E),u^*(F)[i])$$

25: (see \cite[Paragraph 3.2.11 and Corollary 3.2.18]{CD3}

26: for a rigorous definition

27: and construction of such a $C$).

28: Therefore, the complex $C(M,N;R\otimes A)$

29: satisfies \'etale descent, and Proposition \ref{lemma:etaleQcoefficients}

30: implies that the complex $C(M,N;R)\otimes A$ has the same property.

31: Since, locally for the \'etale topology over $X$, the canonical map

32: $$C(M,N;R)\otimes A\to C(M,N;R\otimes A)$$

33: is a quasi-isomorphism, its evaluation at $X$ is

34: a quasi-isomorphism, which is precisely what we wanted

35: to prove.

36: \end{proof}

37: