Если число

делится на

, то:
1) Если оно чётно (

,

- наибольший собственный делитель), то

, количество троек в разложении на простые увеличилось.
2) Если оно нечётно (

,

- наибольший собственный делитель), то

, число стало чётно и количество троек не изменилось, goto 1.
Таким образом, кратное трём может приобрести сколь угодно множителей-троек.
Если исходное число не кратно трём, но чётно, то см. п.1.
Если исходное число не кратно трём и нечётно, то

, где

- наибольший собственный делитель, a

- либо нечётное простое, либо совпадает с

(если

- простое). Тогда за один шаг получаем чётное число

или

, с которым уже разобрались.