用含有字母的式子表示运算性质 减法运算性质