Declaración (1):S Definir como el conjunto de enterosn que no son productos de primos por unidad, y el establecerν(S) sus normas. Sia es primo, entonces se puede factorizar en primos, ...Declaración (1):S Definir como el conjunto de enterosn que no son productos de primos por unidad, y el establecerν(S) sus normas. Sia es primo, entonces se puede factorizar en primos, es decira = a, y el teorema se sostendría en este caso. Declaración (2):S Sea el conjunto de enteros que tengan más de una factorización yν(S) el conjunto de sus normas.
