G:有限群　V:G-加群　このとき
V=W(1)(+)W(2)(+)・・・(+)W(K) と分解される。
（各W(i)(1≦i≦k)はVの既約部分G-加群）
この分解は一意であることを示せ。

どなたか代数に強い方いましたら教えてください！