Если число
делится на
, то:
1) Если оно чётно (
,
- наибольший собственный делитель), то
, количество троек в разложении на простые увеличилось.
2) Если оно нечётно (
,
- наибольший собственный делитель), то
, число стало чётно и количество троек не изменилось, goto 1.
Таким образом, кратное трём может приобрести сколь угодно множителей-троек.
Если исходное число не кратно трём, но чётно, то см. п.1.
Если исходное число не кратно трём и нечётно, то
, где
- наибольший собственный делитель, a
- либо нечётное простое, либо совпадает с
(если
- простое). Тогда за один шаг получаем чётное число
или
, с которым уже разобрались.