>>335
ab=ba,a*0=0,a(b+c)=ab+acはOK?
これが満たされるように定義は拡張されている。
具体的には，
(-a){b+(-b)}=-ab+(-a)(-b)
一方，(-a){b+(-b)}=(-a)*0=0なので-ab+(-a)(-b)=0　∴(-a)(-b)=ab