Suponiendo que "p" es alguno de los "p", se deduce entonces que "p" divide a la diferencia formula_31, 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.