If is the set ofallprime numbers, we can express positive integers as unique products

, ,

where are finitely many non zero integers.

If for all evidently . If there exists positive integer such that that is, . By the unique factorization, , hence for all .