The fundamental theorem of arithmetic