theorem Th64: :: NUMBER02:64

for a being Nat
for z being non zero Nat st 1 <= a holds
(2 |^ (2 |^ z)) + ((6 * a) - 1) is composite