theorem :: NUMBER07:79

{ ((((2 |^ (2 * n)) + 1) |^ 2) + (2 |^ 2)) where n is Nat : (((2 |^ (2 * n)) + 1) |^ 2) + (2 |^ 2) is composite } is infinite