I think this must be a known theorem, but I've tried searching for it on google without much luck. I would state it as follows:
If for all possible pairs of addends that sum to the same number N each of those pairs is comprised of two numbers that are coprime, then N is prime.
It is the inverse of that which was discussed/proved here: If the sum of positive integers $a$ and $b$ is a prime, their gcd is $1$. Proof? Instead of starting with a prime number and wanting to prove that any two numbers summing to it are coprime, in this case I'm starting with a set of addend pairs that sum to the same number, noticing that those addend pairs are always coprimes, and wanting to come to the conclusion that the common sum must be a prime.
I would also like to know what this theorem is called if it is indeed a known theorem.