减法性质、除法性质