Fundamental theorem of arithmetic
We show that if not every number greater than 1 can be written as a product of primes, we end up in some kind of impossibility. So after that we conclude that it must be true that every number can be written as a product of primes.