Is the sum of two distinct primes an injective function on integers?

Consider $3,5$ and $11,13$.

Notice $3+13=5+11$


On the back of an envelope, so to speak, I get

\begin{array}{|r|r|r|r|r|r|r|r|r} & 3 & 5 & 7 & 11 & 13 & 17 & 19 & 23 & 29 \\ \hline 2 & 5 & 7 & 9 & 13 & 15 & 19 & 21 & 25 & 31 \\ 3 & & 8 & 10 & 14 & 16 & 20 & 22 & 26 & 32 \\ 5 & & & 12 & 16 & 18 & 22 & 24 & 28 & 34 \\ 7 & & & & 18 & 20 & 24 & 26 & 30 & 36 \\ 11 & & & & & 24 & 28 & 30 & 34 & 40 \\ 13 & & & & & & 30 & 32 & 36 & 42 \\ 17 & & & & & & & 36 & 40 & 46 \\ 19 & & & & & & & & 42 & 48 \\ 23 & & & & & & & & & 52 \\ \end{array}

So, the odd numbers seem to be unique. By contrast, the even numbers show a lot of repetition: 16 appears twice in the table above, and so do 18, 20 and 22. And 24 appears thrice, as does 30. With just one more column, 36 would appear four times.

Before giving a proper proof of the apparent uniqueness of the even numbers in the table above, we need to agree on our definitions.

If $n$ is an odd number and there exist distinct positive primes $p$ and $q$ such that $p + q = n$, then that pair of primes is the only pair of primes with that sum. Either $p = 2$ or $q = 2$.

Um... you know, as I write that, a formal proof feels like overkill to me.


Huh? What!? Ever hear of the Goldbach conjecture?

Is the sum of two unique primes always unique?

No, not at all. In fact, if $n$ is an even integer greater than $38$, it's probably the sum of two distinct primes in more than one way. For example, $$40 = 37 + 3 = 29 + 11 = 23 + 17.$$

The situation is different for odd numbers, of course. If $n$ is odd, there is only one way, or no way at all, to represent it as a sum of two distinct primes. That is if $n = p + 2$, where $p$ is an odd prime. So with $91$, you observed that $89 + 2 = 91$. But there's no such expression for $87$, since $85$ is obviously not prime.

However, if you allow $-2$, then $87 = 89 + (-2)$. This neither bolsters nor undermines my faith in the Goldbach conjecture.