Fundamental theorem of arithmetic

The fundamental theorem of arithmetic is the statement that every positive integer has a unique prime number factorization.