Original: Thus Theorem 1 of takes the form, "Every positive integer, except 1, is a product of primes," and Theorem 2 (their "Fundamental") asserts uniqueness.
Simplified: Thus