“…In both cases this yields a contradiction to n ≡ 3 mod 6. For k ≥ 2 and q odd, we have that 2 2 k ≡ {16, 24, 25} mod 29 and 2 q ≡ {2, 3,8,10,11,12,14,15,17,18,19,21, 26, 27} mod 29. For k ≥ 2 and q odd, it is thus true that 2 2 k + 2 q ≡ 0 mod 29 and thus n = 2 + 2 2 k + 2 q ≡ 2 mod 29 yields a contradiction in this case.…”