>>98
結合律を暗黙で仮定してるみたいだから、加法にかんして群になっていることが前提でおk?