证明；
（-a）-（-a）=0
移向
（-a）=（-a）=（-1）a
反证法
任意实数a,b且a,b都不等于0,求证a乘以b不等于0
假设a×b=0
那么 a=0 或者b=0 或者a b都是0
这与a,b都不等于0矛盾
所以 假设不成立,即a×b≠0成立