$a_1$ % $b = c_1$

$a_2$ % $b = c_2$

且 $c_1 + c_2 = b$

那么 $(a_1 + a_2)$ % $b = 0$ 是否成立？