State Vinogradov's theorem about sums of three primes.
Every odd number > 5 is the sum of three primes (proved)
Every sufficiently large odd number is the sum of three primes
Every odd prime is the sum of two primes
The sum of the first n primes is asymptotic to n² ln n