Лемма об уточнении показателя

Преобразуем к виду Пусть нечётен. Тогда не делится на откуда и Теперь рассмотрим случай, когда Заметим, что Применим здесь LTE по модулю

Сделаем грубую оценку: откуда Таким образом, решения имеются только тогда, когда — иначе двойка входит в левую часть в меньшей степени, чем в правую, и равенство недостижимо. Значит, откуда или Простой подстановкой получаем, что в первом случае во втором случае