Si tómase como conxuntul de los n primeros númberos primos, entós , onde pn# ye lo que se llama primorial de pn. Un númberu primu de la forma pn# +1 denominar númberu primu dEuclides nhonor al matemáticu griegu. Tamién puede ellaborase una demostración similar a la dEuclides tomandol productu dun númberu dau de númberos primos menos unu, el llugar del productu desos númberos primos más unu. Nesi sentíu, denominar númberu primu primorial a un númberu primu de la forma pn# ± 1.