减法、除法的运算性质及例子