Возможны 2 случая:
либо имеет либо не имеет нечетный делитель.
1) Пусть
имеет нечетный делитель. Тогда
относятся к этому случаю и удовлетворяет условию задачи.
не относятся к этому случаю.
Противоречие. Таким образом, случаю 1) соответствуют только решения
2)
не имеет нечетных делителей
.
При
имеем проблемы определения, когда обобщенные числа Ферма являются простыми. Решайте сами эту проблему.
(Оффтоп)
Дальше трава слабовата. Особенно доставляет тот факт, что получаемые числа попарно взаимно просты.
upd: можно попытаться доказать для делящих чисел аналог сравнения по модулю
, м.б. это что-то и даст...