Suponiendo que "p" es alguno de los "p", se deduce entonces que "p" divide a la diferencia "q"-"p""p" ··· "p"=1, pero ningún número primo divide a 1, es decir, se ha llegado a un absurdo por suponer que "p" está en el conjunto original.