Un enunciado moderno en lenguaje algebraico es que para cada entero positivo con factorización en números primos