File:MathFoundations160 Unique factorization, primes and msets