展开 减法交换律和减法结合