Выберем из данного нам числа цифры

и отложим их в сторону. Это всегда можно сделать т.к. по условию не менее одной цифры каждого из 4-х сортов имеется в исходном числе. Пусть теперь данное число из оставшихся после откладывания цифр в сторону равно

, запишем остаток от деления

на

.
Поскольку

- дает остаток от деления на

равный


- дает остаток от деления на

равный


- дает остаток от деления на

равный


- дает остаток от деления на

равный


- дает остаток от деления на

равный


- дает остаток от деления на

равный


- дает остаток от деления на

равный

То составляем из отложенных в сторону цифр и приписываем справа одно из вышеперечисленных чисел к

так, чтобы сумма остатков от деления на

числа

и приписываемого числа получилась равной

или

, что очевидно всегда можно сделать.
Этим доказано и показано как именно переставить.
Таким образом, условие можно переформулировать более общо:
В десятичной записи натурального числа по крайней мере 1 раз встречается каждая из цифр 1, 3, 7 и 9. Докажите, что цифры этого числа можно переставить таким образом, чтобы полученное число делилось на 7.