Julgue se cada um dos itens subseqüentes reescreve, de modo correto e equivalente, o enunciado acima. Ou n não é um número natural diferente de 1, ou n tem uma decomposição como um produto de fatores primos, que é única, a menos da ordem dos fatores.