theorem :: NUMBER19:32

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