减法和除法的性质