- every positive integer > 1 has a unique prime decomposition