theorem Th44: :: NUMBER13:44

for n being non zero Nat holds 3 divides ((2 |^ (2 |^ (n + 1))) + (2 |^ (2 |^ n))) + 1