De hecho, la demostración original de Euclides no presupone que el conjunto de todos los números primos sea finito.