>>863
Map(I,R) が加法群であることを示す必要は無いだろ