# Offshoot of Goldbach conjecture: "two primes" equal?

**URL:** <https://boards.straightdope.com/t/offshoot-of-goldbach-conjecture-two-primes-equal/1021476>\
**Category:** Factual Questions\
**Created:** [July 29, 2025, 5:30pm UTC](https://boards.straightdope.com/t/offshoot-of-goldbach-conjecture-two-primes-equal/1021476 "2025-07-29T17:30:04Z")\
**Posts on this page:** 9\
**Page:** 1

<div class="post-metadata">

**Author:** ![Timz](https://avatars.discourse-cdn.com/v4/letter/t/6a8cbe/32.png) [@Timz](https://boards.straightdope.com/u/Timz)\
**Post date:** [July 29, 2025, 5:30pm UTC](https://boards.straightdope.com/t/offshoot-of-goldbach-conjecture-two-primes-equal/1021476/1 "2025-07-29T17:30:04Z")

</div>

The Goldbach conjecture says that every even integer greater than 2 is the sum of two primes. Nowadays we don’t count 1 as a prime, so 4 = 2 + 2 and 6 = 3 + 3. In other words, it seems the “two primes” are allowed to be the same.

Is there any even number greater than 6 that can’t be divided into two unequal primes?

---

<div class="post-metadata">

**Author:** ![JWT\_Kottekoe](https://avatars.discourse-cdn.com/v4/letter/j/3ec8ea/32.png) [@JWT\_Kottekoe](https://boards.straightdope.com/u/JWT_Kottekoe)\
**Post date:** [July 29, 2025, 5:34pm UTC](https://boards.straightdope.com/t/offshoot-of-goldbach-conjecture-two-primes-equal/1021476/2 "2025-07-29T17:34:35Z")

</div>

never mind, I misunderstood

---

<div class="post-metadata">

**Author:** ![Great\_Antibob](https://avatars.discourse-cdn.com/v4/letter/g/e47c2d/32.png) [@Great\_Antibob](https://boards.straightdope.com/u/Great_Antibob)\
**Post date:** [July 29, 2025, 6:44pm UTC](https://boards.straightdope.com/t/offshoot-of-goldbach-conjecture-two-primes-equal/1021476/3 "2025-07-29T18:44:26Z")

</div>

To the best of my knowledge, there are no such known examples. A separate branch of study has been to study how many unique ways an even number can be decomposed into a sum of two primes, and once you get to large enough numbers (3 or 4 digits), most have at least 10 different unique prime sum decompositions. There’s even an [OEIS entry](https://oeis.org/A002372) for it.

That’s not to say it is impossible, but it’s a much stronger statement than Goldbach’s conjecture itself to find an example that not only has one unique prime sum decomposition but for that decomposition to be twice a prime number. I suspect none exist but clearly, I do not have a proof.

At any rate, here is the Wiki on the topic:

> **[Goldbach's comet](https://en.wikipedia.org/wiki/Goldbach's_comet)**
>
> Goldbach's comet is the name given to a plot of the function 
>   
>     
>       
> g
> (
> E
> )
>       
>     
> {\\displaystyle g(E)}
>   
> , the so-called Goldbach function (sequence A002372 in the OEIS). The function, studied in relation to Goldbach's conjecture, is defined for all even integers 
>   
>     
>       
> E
> \>
> 2
>       
>     
> {\\displaystyle E\>2}
>   
> to be the number of different ways in which E can be expressed as the sum of two primes. For  
> T...

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [July 29, 2025, 7:01pm UTC](https://boards.straightdope.com/t/offshoot-of-goldbach-conjecture-two-primes-equal/1021476/4 "2025-07-29T19:01:16Z")

</div>

Of course, even the Goldbach Conjecture itself isn’t known to certainly be true, so it should go without saying that this isn’t known certainly, either.

---

<div class="post-metadata">

**Author:** ![Great\_Antibob](https://avatars.discourse-cdn.com/v4/letter/g/e47c2d/32.png) [@Great\_Antibob](https://boards.straightdope.com/u/Great_Antibob)\
**Post date:** [July 29, 2025, 7:16pm UTC](https://boards.straightdope.com/t/offshoot-of-goldbach-conjecture-two-primes-equal/1021476/5 "2025-07-29T19:16:10Z")

</div>

It’s a bit of an oddity but the Goldbach Conjecture doesn’t necessarily need to be true or false for the OP.

There may exist such an example either way.

---

<div class="post-metadata">

**Author:** ![xtenkfarpl](https://avatars.discourse-cdn.com/v4/letter/x/c2a13f/32.png) [@xtenkfarpl](https://boards.straightdope.com/u/xtenkfarpl)\
**Post date:** [July 29, 2025, 7:18pm UTC](https://boards.straightdope.com/t/offshoot-of-goldbach-conjecture-two-primes-equal/1021476/6 "2025-07-29T19:18:34Z")

</div>

> [@Chronos](#):
>
> Of course, even the Goldbach Conjecture itself isn’t known to certainly be true, so it should go without saying that this isn’t known certainly, either.

I suspect this might become clearer if anyone ever proves the Riemann Hypothesis?

Hmm, what is Andrew Wiles doing these days…??

---

<div class="post-metadata">

**Author:** ![hogarth](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/hogarth/32/1773_2.png) [@hogarth](https://boards.straightdope.com/u/hogarth)\
**Post date:** [July 29, 2025, 7:20pm UTC](https://boards.straightdope.com/t/offshoot-of-goldbach-conjecture-two-primes-equal/1021476/7 "2025-07-29T19:20:26Z")

</div>

> [@Great\_Antibob](#):
>
> It’s a bit of an oddity but the Goldbach Conjecture doesn’t necessarily need to be true or false for the OP.

If there’s an even number that can’t be expressed as the sum of two primes, then it certainly can’t be expressed as the sum of two unequal primes. Or am I misinterpreting your comment?

---

<div class="post-metadata">

**Author:** ![Great\_Antibob](https://avatars.discourse-cdn.com/v4/letter/g/e47c2d/32.png) [@Great\_Antibob](https://boards.straightdope.com/u/Great_Antibob)\
**Post date:** [July 29, 2025, 8:13pm UTC](https://boards.straightdope.com/t/offshoot-of-goldbach-conjecture-two-primes-equal/1021476/8 "2025-07-29T20:13:42Z")

</div>

Unless I’ve read it wrong, the OP is looking for an even number(s) larger than 6 that can only be expressed as the sum of two primes in one and only one way - the prime plus itself. Or else evidence such a number does not exist.

If I’m reading it right, there also seems to be an implicit assumption for the OP that the Goldbach Conjecture is true, but even that isn’t really necessary for such a number to exist, given what we know to date. Just because not every even number can be expressed as the sum of two primes does not mean there cannot still be an even number that can be so expressed in exactly one particular way.

If anybody has any proofs they’d like to share for any of that, please share!

---

<div class="post-metadata">

**Author:** ![MikeS](https://avatars.discourse-cdn.com/v4/letter/m/919ad9/32.png) [@MikeS](https://boards.straightdope.com/u/MikeS)\
**Post date:** [July 29, 2025, 9:29pm UTC](https://boards.straightdope.com/t/offshoot-of-goldbach-conjecture-two-primes-equal/1021476/9 "2025-07-29T21:29:20Z")

</div>

Here’s a slight modification of the question:

> Does there exist an even integer such the only way it can be written as the sum of two primes is _n + n_ for _n_ prime?

If such an integer existed, this would imply that for all even _m_ \< _n_, at least one of the integers _n + m_ or _n - m_ was composite. So a very closely related question would be the following:

> Does every prime _n_ form part of [an arithmetic progression of primes](https://en.wikipedia.org/wiki/Primes_in_arithmetic_progression) with at least one prime before and after it?

If the answer to the second question is yes, then the answer to the first question is no, and vice versa. Arithmetic progressions of primes have been pretty extensively studied, but if this [MathOverflow thread](https://mathoverflow.net/questions/34197/are-all-primes-in-a-pap-3/) is to be believed, then it’s not known whether all primes are actually in _any_ 3-term arithmetic progression, let alone in the middle of one.
