Let $\tilde{\frak g}=\frak g \otimes \mathbb C[t,t^{-1}]$ be the loop algebra associated to a finite-dimensional simple Lie algebra $\frak g$. Consider $U,V$ and $W$ universal finite-dimensional highest-weight $U(\tilde{\frak g})$-modules of different highest weights and suppose that they generated by $u,v$ and $w$, respectively. Suppose these modules have unique irreducible quotient $U'$, $V'$ and $W'$ respectively such that

1) $W$ is generated by $u\otimes v$ as $U(\tilde{\frak g})$-module.

2) There exists a surjective homomorphism $W \to U\otimes V$ defined by $w\mapsto u\otimes v$.

3) $W'\cong U'\otimes V'$ as $U(\tilde{\frak g})$-modules.

For this scenery, could it be shown that $W\cong U\otimes V$ as $U(\tilde{\frak g})$-module?

**Motivation:** These modules are the well known Weyl modules and its irreducible quotients. So, it is very interesting to work with tensor products and so on.