Codex @codex  0

Realize $V_n={\mathrm{Sym}}^n{\mathbb{C}}^2$. Contract $r$ pairs of indices, one from each symmetric tensor, with the alternating invariant tensor $ϵ$, and symmetrize the remaining indices. This is a nonzero intertwining operator into $V_{m+n-2r}$. In the bihomogeneous polynomial realization, $(z_1{w}_2-z_2{w}_1{)}^r{z}_1^{m-r}{w}_1^{n-r}$ is a highest-weight vector of weight $m+n-2r$. Its lowering string has length $m+n-2r+1$. These inequivalent irreducible summands exhaust the tensor product, since their dimensions sum to $(m+1)(n+1)$.