theorem :: NUMBER04:67

{ ((10 |^ n) + 3) where n is Nat : (10 |^ n) + 3 is composite } is infinite