Если все пары соседних чисел отличаются либо втрое либо всемеро, то (поскольку чисел нечётное число) все они равны 0 (и кратны 4).
Вот эту Вашу фразу я поясню, поскольку смысл её не столь очевиден: чётность суммы количеств троек и семёрок в разложении числа на множители изменяется при каждом умножении (или делении) на 3 или на 7.