My question is about the proof of Lemma D.3 on p. 147 of the book "Neron models" by Bosch, Lutkebohmert, and Raynaud. Namely, towards the end of that proof there is the sentence "That $\varphi$ satisfies the cocycle condition follows in a similar way from Lemma D.1". My question is: how precisely does this follow? Let me give some context below.

In the question, $R \subset R^{\prime}$ is a pair of discrete valuation rings sharing a uniformizer and the residue field. The respective fraction fields are $K \subset K^{\prime}$. One starts with an $R^{\prime}$-module $M^{\prime}$ and assumes the existence of a descent datum on $M'_K$ with respect to $K'/K$, namely, the existence of an isomorphism $$\varphi_K\colon (M' \otimes_R R')_K \rightarrow (R'\otimes_R M')_K$$ satisfying the cocycle condition. With the help of Lemma 1 one proves that $\varphi_K$ extends to a unique isomorphism $$\varphi\colon M' \otimes_R R' \rightarrow R'\otimes_R M'.$$ The quoted sentence claims the $\varphi$ inherits the cocycle condition from $\varphi_K$ and my question is why? The issue is that I don't see how Lemma D.1 is of help for this: for one thing, which $R'\otimes_R R'$-module do I apply D.1 to? If I naively try to apply it to the $R'\otimes_R R'$-module $R' \otimes_R (R'\otimes_R M')$, then

- I don't see why this is a legal choice;
- The diagram which, due to the universal property supplied by D.1, would prove the claim does not seem to commute, the basic issue being that the two $R'$-module structures on $R'\otimes_R M'$ seem different.