减法、除法运算性质