Fundamental theorem of arithmetic
The proof consists of two parts: first we show that every number can be written as a product of primes; second we show that if we write a number as a product of primes for a second time, then the two lists of prime numbers must be the same.