减法的性质(1)