Which theorem states that every large even integer can be written as a prime summed with a semiprime?
Weaker statements than this have been proven, for example Vinogradov's theorem says that every sufficiently large odd integer can be written as a sum of three primes.