(number theory) the theorem that states that every integer greater than one is uniquely expressible as a product of prime numbers, which is called its prime factorization