>>93
0は加法の単位元だから
1+0=1
aをかけて分配法則
a*1+a*0=a*1
a*1(=a)の加法の逆元をｂとして、左から加算し結合法則
(b+a*1)+a*0=b+a*1
bの定義よりb+a*1=0
0+a*0=0
0は加法の単位元だから
0+a*0=a*0
a*0=0