Unique Factorization Theorem

See Fundamental Theorem of Arithmetic