在下边竖式的计算中，所用的运算定律是。