よくわからんがモジュールの概念を使えば証明できるんじゃないか?