Задачу сформулировал MinHerz как необходимую лемму для задачи о часах.

Решения:

Сергей Подзоров:

MinHerz:

Андрей Васильев: