The theorem that every integer greater than one can be written as a product of prime numbers and that this factorization is unique up to the order of the factors (and up to multiplication by units ±1 in Z).
The statement that every integer greater than one factors uniquely as a product of prime numbers, up to ordering of the factors; primes are the multiplicative atoms of the integers.
The statement that every integer greater than one can be expressed as a product of prime numbers and that this factorization is unique up to the order of the prime factors.