theorem Th71: :: NUMBER17:71

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