下列计算过程中所用的加法运算律是: