The additive indecomposability of the primes

We prove Ostmann's inverse Goldbach conjecture: no set differing from the primes by finitely many elements can be written as $A+B$, where A and B are sets of nonnegative integers with at least two elements each.