The theorem states that every composite number can be uniquely factorized as a product of prime numbers, apart from the order of factors.