检验加法计算的结果,可以用交换( )位置和不变,也可以用和减去( )等