How would one modify Euclid's proof of infinite primes to generate a sequence of distinct prime numbers only? How can you prove that each element in the sequence generated by the modified algorithm is a prime number different from all the previous primes in the sequence?
Example- In this algorithm,Given the current list of primes p1 , … pn , you multiply them together then add 1 . This gives a number x=q1..qn +1. Here x need not be prime and I was wondering how to modify the algorithm so the "x's" generated as such would be prime numbers