Если а не кратно b, то число "а" можно представить в виде b*k + p, где k - некоторое целое число (по сути целая часть от деления а на b), а р - остаток. C другой стороны, раз с кратно b, то "с" тоже можно представить как с = b*m (m - частное от деления с на b, и это целое число)).

А теперь смотрим, что же получается при сложении:

a+c = (b*k + p) + (b*m) = b(k+m) + p.

Мы видим, что при делении (а+с) на b всё равно получается не равный нулю остаток - что и свидетельствует о том, что сумма не кратна b.