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