Запишем ряд остатков от деления степеней двойки на 17, начиная с

:
1, 2, 4, 8, 16, 15, 13, 9, 1.
Если в двоичной записи числа 3 единицы, оно представимо в виде

. Положим для определённости

.
а) В числе с наименьшим количеством нулей

. Подберём такие

и

, чтобы при наименьшем

. Это возможно при сумме остатков

, что соответствует

, т.е.

.
б) Предположим, что найдётся нечётное число, удовлетворяющее условию. Тогда сразу

,

, откуда следует, что

, что невозможно.