Заметим, что
n ≡ 7 (mod 8). Пусть d — натуральный делитель числа n. Пусть
n = kd. Перебирая остатки от деления на 8, можно убедиться, что если
d ≡ m (mod 8)
,
тоk ≡ 8 − m (mod 8)
.
Поэтому все делители числа n разбиваются на пары, сумма чисел в каждой из которых кратна 8.