en el libro IX de su obra "Elementos" Una adaptación común de esta demostración original sigue así: Se toma un conjunto arbitrario pero finito de números primos "p", "p", "p", ···, "p", y se considera el producto de todos ellos más uno, formula_30.