Ответ:

Верно: любое число, делящееся на 9, можно представить как 9 · k = 3 · (3 · k), поэтому оно делится и на 3.

Ответ: да.