>>853
「任意のK準同型σについてσ(L)⊂L」・・・☆ が示せれば
☆より「任意のK準同型σについてL⊂σ(L)」が示せるから。
示し方は自分で考えてみな。
ごく初歩的な代数だよ。