不変直和因子の存在意義って何なんだろう。
これって何に役に立つのかな?