theorem Th62: :: NUMBER02:62

for a being Nat
for z being non zero Nat holds 3 divides (2 |^ (2 |^ z)) + ((6 * a) - 1)