Proof. Let $M_ i$, $i \in I$ be a family of objects of $\mathcal{A}$ indexed by a set $I$. The functor $F = \prod _{i \in I} h_{M_ i}$ commutes with colimits. Hence Lemma 19.13.1 applies. $\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).