>>563
Clebsch-Gordanの公式だっけ
それってV(m)×V(n)がV(m+n-2s)(s=0, 1, …,2n)を部分L加群として
含むことを示していった気がする、その後直和を示して次元から同型
具体的にV(m)、V(n)の最高ウェイトベクトルからウェイトm+n-2sの
最高ウェイトベクトルを構成する

Humphreysの本にないかなぁ