theorem :: NUMBER17:73

for k being Integer st k <> 1 holds
{ n where n is positive Nat : (2 |^ (2 |^ n)) + k is composite } is infinite