theorem Th72: :: NUMBER17:72

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