Простая математическая задачка?
(2^n mod 8) = 0, когда (3^m+1) mod 8 c {2,4}
* мелочь руками отбросить
первое, что пришло в голову:
3^m+1 <> 2^n
=>
3^m <> 2^n-1
2^n-1 — простое число (см числа мерсена), а 3^m, очевидно, нет.