theorem Th34: :: NUMBER13:34

for a being Nat
for n being positive Nat holds 3 divides (((3 * a) + 2) * (2 |^ (2 |^ n))) + 1