Proof (by well-ordering principle). Let be the set of all integers greater than one that cannot be factored as a product of primes. We show that is empty.
Proof. (by well-ordering principle) Let be the set of all integers greater than one that cannot be factored as a product of primes We show that is empty.