Supóngase qu'esiste dalgún enteru positivu que nun puede representase como productu de primos. Entós ten d'haber un mínimu númberu n con esa propiedá. Esti númberu n nun puede ser 1, pola convención anterior. Tampoco puede ser un primu, porque tou primu ye'l productu d'un únicu númberu primu: él mesmu.