例：
a + b = c
验算：
c - b = a
c - a = b
可交换的位置是减数和商