theorem :: NUMBER19:36

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