Express the following informal statements about the structure (N; 0, 1, +, ×) in the appropriate formal language: (a) Twin Prime Conjecture: There are infinitely many primes p such that p + 2 is also prime. [Hint: represent 2 by 1 + 1.]\n