Every even integer n > 2 is the sum of two primes. Unproven; verified to > 4·10¹⁸ by computer search.