Fundamental theorem of arithmetic