Esto contradice la suposición de que "s" es el entero más pequeño que se puede factorizar en más de una forma.