The Goldbach conjecture states that:
Every even integer > 2 is the sum of two primes
Every odd integer > 1 is prime
There are infinitely many prime pairs
Every composite has a unique prime factorization