theorem Th37: :: NUMBER03:37

for m being Nat holds 3 |^ m divides (2 |^ (3 |^ m)) + 1