делится на 3.
Пусть n = 3k + 1 натуральное число кратное 3, тогда:
делится на 3.
Пусть n = 3k + 2 натуральное число кратное 3, тогда:
делится на 3.
Получается можно утверждать, что значение выражения делится нацело на 3 при любом натуральном значении n.