# The product of any two sequential primes, minus 1, is prime. Is this true?

**URL:** https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385
**Category:** Factual Questions
**Created:** [May 4, 2006, 2:05pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385 "2006-05-04T14:05:15Z")
**Posts on this page:** 20
**Page:** 1

<div class="post-metadata">

### Author: ![Yeppa](https://avatars.discourse-cdn.com/v4/letter/y/bbce88/32.png) [@Yeppa](https://boards.straightdope.com/u/Yeppa)
#### Post date: [May 4, 2006, 2:05pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/1 "2006-05-04T14:05:15Z")

</div>

The product of two sequential primes, minus 1, is prime.

Is this true?

---

<div class="post-metadata">

### Author: ![Snooooopy](https://avatars.discourse-cdn.com/v4/letter/s/ee7513/32.png) [@Snooooopy](https://boards.straightdope.com/u/Snooooopy)
#### Post date: [May 4, 2006, 2:14pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/2 "2006-05-04T14:14:22Z")

</div>

The product of almost every pair of primes is going to be odd, so subtracting one will make it even (and not prime).

---

<div class="post-metadata">

### Author: ![N9IWP](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/n9iwp/32/3154_2.png) [@N9IWP](https://boards.straightdope.com/u/N9IWP)
#### Post date: [May 4, 2006, 2:16pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/3 "2006-05-04T14:16:55Z")

</div>

3 and 5 are sequential primes.  
3 \* 5 = 15  
15 - 1 = 14  
14 is not prime.

So no, it isn’t true.

Brian

---

<div class="post-metadata">

### Author: ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)
#### Post date: [May 4, 2006, 2:17pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/4 "2006-05-04T14:17:34Z")

</div>

> [@Snooooopy](#):
>
> The product of almost every pair of primes is going to be odd, so subtracting one will make it even (and not prime).

Yes. The proposition is only true for the first two primes, 2 and 3, where you get 5.

---

<div class="post-metadata">

### Author: ![Shagnasty](https://avatars.discourse-cdn.com/v4/letter/s/9dc877/32.png) [@Shagnasty](https://boards.straightdope.com/u/Shagnasty)
#### Post date: [May 4, 2006, 2:25pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/5 "2006-05-04T14:25:23Z")

</div>

> [@Giles](#):
>
> Yes. The proposition is only true for the first two primes, 2 and 3, where you get 5.

You forgot to subtract 1. The result is 4 and hence, not prime. I wonder if the OP phrased the question incorrectly because, as written, it seems to fail every time.

---

<div class="post-metadata">

### Author: ![muttrox](https://avatars.discourse-cdn.com/v4/letter/m/a8b319/32.png) [@muttrox](https://boards.straightdope.com/u/muttrox)
#### Post date: [May 4, 2006, 2:29pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/6 "2006-05-04T14:29:49Z")

</div>

2\*3=6  
6-1=5

---

<div class="post-metadata">

### Author: ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)
#### Post date: [May 4, 2006, 2:47pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/7 "2006-05-04T14:47:35Z")

</div>

> [@muttrox](#):
>
> 2\*3=6  
> 6-1=5

Thank you! I do think I’m reasonably good at easy mental arithmetic, like 2 times 3!

Yes, I’m wondering too what proposition the OP is thinking of. Perhaps it’s the proof that there is an infinite number of primes, because if there are only n primes, then:  
(P1 \* P2 \* P3 \* … \* Pn) - 1  
is an integer which won’t have any on the n primes as a factor, and so is itself prime, or has a prime factor distinct from those n primes.

---

<div class="post-metadata">

### Author: ![wolf\_meister](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/wolf_meister/32/15202_2.png) [@wolf\_meister](https://boards.straightdope.com/u/wolf_meister)
#### Post date: [May 4, 2006, 2:51pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/8 "2006-05-04T14:51:00Z")

</div>

I know there is the (unproven) **Goldbach Conjecture** which states that there are an infinite number of “prime pairs” (primes seperated by a difference of 2 - e.g. 11 & 13; 29 & 31, etc).  
Its “corollary” states that any even number (greater than 6) is the sum of 2 primes. (Perhaps the latter is being referred to by the OP?)

---

<div class="post-metadata">

### Author: ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)
#### Post date: [May 4, 2006, 2:57pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/9 "2006-05-04T14:57:40Z")

</div>

The Goldbach conjecture is that every even number greater than 2 is expressible as the sum of two (not necessarily distinct) primes. The conjecture that there are an infinite number of pairs (p, p + 2) with p and p + 2 prime is known rather unpoetically as the twin prime conjecture.

---

<div class="post-metadata">

### Author: ![wolf\_meister](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/wolf_meister/32/15202_2.png) [@wolf\_meister](https://boards.straightdope.com/u/wolf_meister)
#### Post date: [May 4, 2006, 4:43pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/10 "2006-05-04T16:43:48Z")

</div>

Thanks **ultrafilter**.  
It’s just that every time the Goldbach Conjecture is discussed, the twin prime conjecture usually enters into the conversation. I wasn’t sure of a definite connection between the two and that’s why I put “corollary” in quotes.

And what happened to **Yeppa** who started this thread?

---

<div class="post-metadata">

### Author: ![Bytegeist](https://avatars.discourse-cdn.com/v4/letter/b/9dc877/32.png) [@Bytegeist](https://boards.straightdope.com/u/Bytegeist)
#### Post date: [May 4, 2006, 5:08pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/11 "2006-05-04T17:08:21Z")

</div>

> [@Giles](#):
>
> Yes, I’m wondering too what proposition the OP is thinking of. Perhaps it’s the proof that there is an infinite number of primes, because if there are only n primes, then:  
> (P1 \* P2 \* P3 \* … \* Pn) - 1  
> is an integer which won’t have any on the n primes as a factor, and so is itself prime, or has a prime factor distinct from those n primes.

Well, this value _is_ prime. It does not have other prime factors, whether distinct from the constituent primes or not. If it had any such factor, it would be composite, and the proof wouldn’t work.

Anyway, I too share in the confusion of what the OP was referring to.

---

<div class="post-metadata">

### Author: ![TwoTrouts](https://avatars.discourse-cdn.com/v4/letter/t/a9adbd/32.png) [@TwoTrouts](https://boards.straightdope.com/u/TwoTrouts)
#### Post date: [May 4, 2006, 5:18pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/12 "2006-05-04T17:18:14Z")

</div>

Not the “product”. I thought it was the “sum” of any two sequential primes, etc etc (excluding the first set, 2 & 3).

---

<div class="post-metadata">

### Author: ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)
#### Post date: [May 4, 2006, 5:22pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/13 "2006-05-04T17:22:08Z")

</div>

> [@TwoTrouts](#):
>
> Not the “product”. I thought it was the “sum” of any two sequential primes, etc etc (excluding the first set, 2 & 3).

No – the first counter-example is 17 + 19 - 1 = 35 = 5 x 7; the second is 23 + 29 - 1 = 51 = 3 x 17

---

<div class="post-metadata">

### Author: ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)
#### Post date: [May 4, 2006, 5:30pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/14 "2006-05-04T17:30:05Z")

</div>

> [@Bytegeist](#):
>
> Well, this value _is_ prime. It does not have other prime factors, whether distinct from the constituent primes or not. If it had any such factor, it would be composite, and the proof wouldn’t work.

No: the product of the first four primes, minus 1 (2_3_5_7-1) is 209, and that is composite (11_23).

---

<div class="post-metadata">

### Author: ![Bytegeist](https://avatars.discourse-cdn.com/v4/letter/b/9dc877/32.png) [@Bytegeist](https://boards.straightdope.com/u/Bytegeist)
#### Post date: [May 4, 2006, 5:48pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/15 "2006-05-04T17:48:21Z")

</div>

> [@Giles](#):
>
> No: the product of the first four primes, minus 1 (2_3_5_7-1) is 209, and that is composite (11_23).

209 = 11 \* 19. But noted.

This, however, raises a different issue. The famous proof you’re referring to examines the value (P1 \* P2 \* … \* Pn) **+** 1 — plus, not minus. The whole punch-line of this proof is that whatever finite set of primes you might have, it cannot possibly be covering all of them, because you can always generate a new prime from the members of the set. Therefore, the number of all primes is infinite.

Since (P1 \* P2 \* … \* Pn) – 1 sometimes produces composite numbers, it’s unhelpful for reaching this conclusion.

---

<div class="post-metadata">

### Author: ![ultrafilter](https://avatars.discourse-cdn.com/v4/letter/u/3d9bf3/32.png) [@ultrafilter](https://boards.straightdope.com/u/ultrafilter)
#### Post date: [May 4, 2006, 5:50pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/16 "2006-05-04T17:50:09Z")

</div>

11 \* 13 + 1 = 144, which is most certainly not prime. I think you’ve misunderstood the proof.

---

<div class="post-metadata">

### Author: ![CookingWithGas](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/cookingwithgas/32/485_2.png) [@CookingWithGas](https://boards.straightdope.com/u/CookingWithGas)
#### Post date: [May 4, 2006, 7:10pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/17 "2006-05-04T19:10:32Z")

</div>

> [@Snooooopy](#):
>
> The product of almost every pair of primes is going to be odd, so subtracting one will make it even (and not prime).

Almost indeed. . . .Every prime number except 2 is odd, and the product of two odd numbers is odd, so the product of any two non-2 prime numbers is odd.

---

<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: [May 4, 2006, 7:31pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/18 "2006-05-04T19:31:16Z")

</div>

> [@](#):
>
> This, however, raises a different issue. The famous proof you’re referring to examines the value (P1 \* P2 \* … \* Pn) + 1 — plus, not minus. The whole punch-line of this proof is that whatever finite set of primes you might have, it cannot possibly be covering all of them, because you can always generate a new prime from the members of the set. Therefore, the number of all primes is infinite.

Euclid’s proof just has to show that _there exists_ some prime not on your finite list; it does not have to specify what it is. The climax of the proof is “Either N is prime, or N has a prime factor that is not on the original list. Either way, there exists another prime”. For this purpose, adding or subtracting one would both be equally effective. Euclid’s version of the proof happened to use plus, but that’s irrelevant.

---

<div class="post-metadata">

### Author: ![Giles](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/giles/32/60_2.png) [@Giles](https://boards.straightdope.com/u/Giles)
#### Post date: [May 4, 2006, 7:41pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/19 "2006-05-04T19:41:29Z")

</div>

I think that having +1 rather than -1 makes it a bit easier to be sure that you have an integer greater than 1 and distinct from the other primes, without needlessly complicating the proof. But if you assume that P1 = 2 and P2 = 3, then N must be not less than 5, so -1 will work except in the most trivial of cases (i.e., where you only know P1 = 2, and the product of known primes - 1 = 1).

---

<div class="post-metadata">

### Author: ![Bytegeist](https://avatars.discourse-cdn.com/v4/letter/b/9dc877/32.png) [@Bytegeist](https://boards.straightdope.com/u/Bytegeist)
#### Post date: [May 4, 2006, 9:31pm UTC](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385/20 "2006-05-04T21:31:18Z")

</div>

> [@Chronos](#):
>
> Euclid’s proof just has to show that _there exists_ some prime not on your finite list; it does not have to specify what it is. The climax of the proof is “Either N is prime, or N has a prime factor that is not on the original list. Either way, there exists another prime”. For this purpose, adding or subtracting one would both be equally effective. Euclid’s version of the proof happened to use plus, but that’s irrelevant.

Mea culpa, and apologies to **Giles**. I’m guilty of the mistake described on [this page](http://primes.utm.edu/notes/proofs/infinite/euclids.html), after the first “Proof”.

[Next page](https://boards.straightdope.com/t/the-product-of-any-two-sequential-primes-minus-1-is-prime-is-this-true/355385.md?page=2)
