加法运算定律(减法性质)