割り算の定義ってa/b=c⇔bc=a的なことだよな？
つーことは↓でどうよ？
-*-=-のときにb=-1,c=-1だとa=bc=-1*-1=-1ってなるけど、
a=-1,b=-1だからc=a/b=-1/-1　分母分子同じだから約分してc=1、しかし上でc=-1と定めているからこれはおかしい
よって-*-=+じゃないといかん　　終わり