(-a)b+ab=((-a)+a)b=0*b=0
所以(-a)b=-ab
0=(a+(-a))(b+(-b))
=ab+(-a)b+a(-b)+(-a)(-b)
=(a+(-a))b+(-b)a+(-a)(-b)
=-ab+(-a)(-b)
ab=(-a)(-b)
负负得正乃 满足八大公设的交换环 均满足的定理。