いきなり答えを書いてしまおう：
通常の計算法則が負の数についても成り立つことを認めれば、そうなってなくてはならない
だから定理

0=((+1)+(-1))*((+1)-(-1))=(+1)*(+1)-(-1)*(-1)