for z being non zero Nat holds { k where k is Nat : ( k is odd & (2 |^ (2 |^ z)) + k is composite ) } is infinite