Появилось немного свободного времени. Распишу подробнее.
по модулю 8 может быть сравнимо только с 1 или 3 (с 1 при чётном
с 3 — при нечётном).41:Если 41 представляется в нужном виде, то

где

чётное.
Замечаем теперь, что если

кратно 4, то

заканчивается на 0, и, следовательно, не может быть степенью двойки.
Если

чётное, но не кратное 4, то

заканчивается на 8, и, следовательно,

Но, в таком случае,

не кратно 3.
Получили противоречие.43:Если 43 представляется в нужном виде, то

где

нечётное.
Замечаем теперь, что если

сравнимо с 1 по модулю 4, то

заканчивается на 0, и, следовательно, не может быть степенью двойки.
Если

сравнимо с 3 по модулю 4, то

заканчивается на 4, и, следовательно,

Но, в таком случае,

не кратно 3.
Получили противоречие.53:Если 53 представляется в нужном виде, то

где

нечётное.
Замечаем теперь, что если

сравнимо с 3 по модулю 4, то

заканчивается на 0, и, следовательно, не может быть степенью двойки.
Если

сравнимо с 1 по модулю 4, то

заканчивается на 6, и, следовательно,

Но, в таком случае,

не кратно 3.
Получили противоречие.Меньшие простые числа: