加法运算律的应用