Доказательство:

Если a делится на 3, то $$a = 3k$$, где k - целое число.

Если b делится на 3, то $$b = 3m$$, где m - целое число.

Тогда $$a + b = 3k + 3m = 3(k + m)$$

Так как k и m - целые числа, то и $$k + m$$ является целым числом.

Следовательно, $$a + b$$ делится на 3, что и требовалось доказать.