减法运算性质 字母表示