>>166
ぜーんぶ定義にもどって定義がなりたっていることを示すだけ。
面倒がってはいけない。
(f+g)+h　と f+(g+h) とを別々に求め、両者が同一であることを示す。

0は関数としてどんな関数をえらべばよいか考えよ！
0がわかれば、逆元としてはどんな関数を選べばよいかわかるだろ。