Does anyone have a proof for the following Lemma?

Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$ and $U_q^{\prime}(\mathfrak{g})$ be the quantum affine algebra over $\mathfrak{g}$. Let $M_k$ be a finite-dimensional integrable $U_q^{\prime}(\mathfrak{g})$-module ($k=1, 2, 3$). Let $X$ be a $U_q^{\prime}(\mathfrak{g})$-submodule of $M_1\otimes M_2$ and $Y$ a $U_q^{\prime}(\mathfrak{g})$-submodule of $M_2\otimes M_3$ such that $X\otimes M_3\subset M_1\otimes Y$ as submodules of $M_1\otimes M_2\otimes M_3$. Then there exists a $U_q^{\prime}(\mathfrak{g})$-submodule $N$ of $M_2$ such that $X\subset M_1\otimes N$ and $N\otimes M_3\subset Y$.

This is the Lemma 3.10, stated without a proof in the paper https://www.cambridge.org/core/journals/compositio-mathematica/article/simplicity-of-heads-and-socles-of-tensor-products/0F1B26D97E9484FCCC9D023D02C509E3 The authors of this paper mention that "a similar result holds for any rigid monoidal category which is abelian and the tensor functor is additive". However, I could not prove this result in such a general way, nor did I find this statement anywhere else.